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?cvsroot=purrs&r1=1.29&r2=1.30 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?cvsroot=purrs&r1=1.40&r2=1.41 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.diff?cvsroot=purrs&r1=1.26&r2=1.27 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsroot=purrs&r1=1.197&r2=1.198