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?cvsroot=purrs&r1=1.22&r2=1.23 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsroot=purrs&r1=1.115&r2=1.116 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?cvsroot=purrs&r1=1.119&r2=1.120 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.diff?cvsroot=purrs&r1=1.80&r2=1.81 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.cc.diff?cvsroot=purrs&r1=1.43&r2=1.44 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cvsroot=purrs&r1=1.67&r2=1.68 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cvsroot=purrs&r1=1.68&r2=1.69