// @(#)$Id: SetToRMS-formal.lh,v 1.6 1997/06/03 20:29:50 leavens Exp $

#include "SetToRMS-informal.lh"

//@ refine SetToRMS
//@ by
extern void SetToRMS(double & v, double x, double y) throw();
//@ behavior {
//@   requires (x*x) + (y*y) < DBL_MAX;
//@   modifies v;
//@   ensures  approx(v' * v', rational((x*x) + (y*y) / 2.0), 1/100);
//@ }

[Index]

HTML generated using lcpp2html.