CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-04-01 15:49:34 Modified files: src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh tests : rrs_driver.cc Log message: Reorganization of the public methods in order to verify the solution or the bounds for it. Now there are three different methods: Verify_Status verify_exact_solution(); Verify_Status verify_lower_bound(); Verify_Status verify_upper_bound(); (like for the computation of the solution or the bounds). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsroot=purrs&r1=1.58&r2=1.59 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?cvsroot=purrs&r1=1.74&r2=1.75 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.diff?cvsroot=purrs&r1=1.46&r2=1.47 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cvsroot=purrs&r1=1.62&r2=1.63