CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-11-12 10:36:14
Modified files: src : Infinite_Order_Info.defs.hh Infinite_Order_Info.inlines.hh Recurrence.defs.hh Recurrence.inlines.hh rr_classifier.cc
Log message: Added the private data `original_rhs_' to the class `Infinite_Order_Info'. In the case of the infinite order recurrence is not in normal form and the system transform it in normal form, this data contains the right hand side of the original recurrence. Moreover, added the methods in order to access to `original_rhs_' (publics in the class `Infinite_Order_Info' and privates in the class `Recurrence').
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Infinite_Order_Info.defs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Infinite_Order_Info.inli... 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_classifier.cc.diff?cv...