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?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cvs...