CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-11-14 12:45:47
Modified files: demos : purrs_rrs_cgi.cc src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh rr_classifier.cc tests : rrs_driver.cc
Log message: Removed the status `HAS_HUGE_DECREMENT' from `Solver_Status'. Now the status `HAS_HUGE_DECREMENT' of `Classifier_Status' is mapped in the status `TOO_COMPLEX' of `Solver_Status'. Added and fixed several comments.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff?... 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/src/rr_classifier.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cvs...