CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-01-27 00:11:46

Modified files: src : Recurrence.defs.hh rr_classifier.cc tests : heap rrs_driver.cc

Log message: Added the enumerate MALFORMED_RECURRENCE to `enum Solver_Status'. Improved `classification_summand()' and `classification_recurrence()' so the system can catch also the first cases of malformed recurrences. In the file heap marked with `M' some recurrences.

Patches: 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/rr_classifier.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=purr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cvs...