// @(#)$Id: swap.lh,v 1.5 1997/06/03 20:30:22 leavens Exp $
extern void swap(int& x, int& y) throw();
//@ behavior {
//@   requires assigned(x, pre) /\ assigned(y, pre);
//@   modifies x, y;
//@   ensures x' = y^ /\ y' = x^;
//@ }

[Index]

HTML generated using lcpp2html.