CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-12-10 10:16:58

Modified files: src : Recurrence.cc rr_classifier.cc

Log message: Several changes so that the system returns the solution of the original recurrence, and not the solution of the recurrence rewritten by the system. Moreover, now is verified the slution of the original recurrence and not the solution of the recurrence rewritten by the system.

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/rr_classifier.cc.diff?cv...