CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2002-12-26 17:51:03 Modified files: src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh rr_solver.cc Log message: Introduced a new private data to the class Recurrence: `bool recurrence_rhs_rewritten'. It is true if the recurrence has been rewritten, i. e., in the case there are null or negative decrements or if has been applied the order reduction; it is false in all the other cases. Inserted in the blackboard also the symbol used in the method of the order reduction. Improved `Recurrence::dump()'. 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/rr_solver.cc.diff?cvsroo...