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?cvsroot=purrs&r1=1.24&r2=1.25 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsroot=purrs&r1=1.121&r2=1.122 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?cvsroot=purrs&r1=1.126&r2=1.127 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.diff?cvsroot=purrs&r1=1.88&r2=1.89 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cvsroot=purrs&r1=1.75&r2=1.76 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cvsroot=purrs&r1=1.70&r2=1.71