CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-11-20 12:04:23

Modified files: demos : purrs_rrs_cgi.cc src : Blackboard.defs.hh Expr.defs.hh Number.defs.hh Recurrence.cc Recurrence.defs.hh rr_classifier.cc tests : rrs_driver.cc

Log message: Removed the status `HAS_NON_INTEGER_DECREMENT' form `Solver_Status'. The status `CL_HAS_NON_INTEGER_DECREMENT' of `Classifier_Status' is mapped in the status `MALFORMED' of `Solver_Status'. Several improvements in the documentation.

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/Blackboard.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.defs.hh.diff?cvsr... 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/rr_classifier.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cvs...