CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-01-24 18:30:18

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

Log message: Added the enumerate INDETERMINATE_RECURRENCE to `enum Solver_Status' and added the expectation `I': % I indeterminate: the recurrence has infinite solution. Improved `eliminate_null_decrements()' so it can catch also indeterminate 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...