[PURRS-devel] purrs demos/purrs_rrs_cgi.cc src/Recurrence.cc ...

[Tatiana Zolo]

CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	zolo at 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