// @(#)$Id: isqrt.lh,v 1.8 1997/09/16 03:03:30 leavens Exp $
extern int isqrt(int x) throw();
//@ behavior {
//@  requires x >= 0;
//@  ensures (result-1)*(result-1) < x
//@          /\ x < (result+1)*(result+1);
//@ }

[Index]

HTML generated using lcpp2html.