12 Aug
2003
12 Aug
'03
3:15 p.m.
CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-08-12 17:15:53
Modified files: src : Recurrence.inlines.hh
Log message: Added an assertion in the methods of the class Recurrence that return the exact solution or the bounds: solutions and bounds do not have to contain function `x()' that are not initial conditions.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.di...