CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-02-06 18:15:54 Modified files: src : Recurrence.defs.hh Recurrence.cc Log message: Added the method `verify_bound()' (the implementation of this method is not yet complete). Removed an useless call to the simplification's function in `verify_solution()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?cvsroot=purrs&r1=1.59&r2=1.60 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsroot=purrs&r1=1.43&r2=1.44