CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-11-10 09:53:34

Modified files: demos : purrs_rrs_cgi.cc src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh compute_exact_solution.cc rr_classifier.cc tests : rrs_driver.cc

Log message: Several changes in the structure of the Recurrence. Now the enumerate Solver_Status has only three values: enum Solver_Status { SUCCESS, TOO_COMPLEX, CLASSIFICATION_FAIL }; All the other cases are stored in the enumerate Classifier_Status: enum Classifier_Status { CLASSIFICATION_OK, INDETERMINATE_RECURRENCE, HAS_NON_INTEGER_DECREMENT, HAS_NEGATIVE_DECREMENT, HAS_HUGE_DECREMENT, HAS_NULL_DECREMENT, UNSOLVABLE_RECURRENCE, MALFORMED_RECURRENCE, DOMAIN_ERROR, CLASSIFICATION_COMPLEX, NOT_CLASSIFIED_YET }; Changes in several files in according with the new enumerate types. These changes show a serious problem with the recurrence 1060 in heap.

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/compute_exact_solution.c... 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...