
CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-02-22 22:07:25
Modified files: src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh compute_bounds.cc compute_exact_solution.cc rr_classifier.cc
Log message: Several changes in the function `classify()' and `classification_summand()': now the system classifies also the functional equations with rank higher than one. Others consequent changes.
Patches: 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_bounds.cc.diff?c... 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...