[PURRS-devel] purrs/src Infinite_Order_Info.defs.hh Infinite ...

[Tatiana Zolo]

CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	zolo at 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.hh.diff?cvsroot=purrs&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Infinite_Order_Info.inlines.hh.diff?cvsroot=purrs&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?cvsroot=purrs&r1=1.122&r2=1.123
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.diff?cvsroot=purrs&r1=1.83&r2=1.84
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cvsroot=purrs&r1=1.71&r2=1.72