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?cvsroot=purrs&r1=1.50&r2=1.51 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?cvsroot=purrs&r1=1.67&r2=1.68 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.diff?cvsroot=purrs&r1=1.42&r2=1.43 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?cvsroot=purrs&r1=1.18&r2=1.19 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.cc.diff?cvsroot=purrs&r1=1.16&r2=1.17 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cvsroot=purrs&r1=1.21&r2=1.22