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?cvsroot=purrs&r1=1.53&r2=1.54 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cvsroot=purrs&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=purrs&r1=1.71&r2=1.72 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cvsroot=purrs&r1=1.52&r2=1.53