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?cvsroot=purrs&r1=1.25&r2=1.26 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.defs.hh.diff?cvsroot=purrs&r1=1.11&r2=1.12 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsroot=purrs&r1=1.106&r2=1.107 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.defs.hh.diff?cvsroot=purrs&r1=1.34&r2=1.35 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsroot=purrs&r1=1.128&r2=1.129 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?cvsroot=purrs&r1=1.134&r2=1.135 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cvsroot=purrs&r1=1.79&r2=1.80 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cvsroot=purrs&r1=1.71&r2=1.72