CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2002-12-12 09:37:22

Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh

Log message: Added UNKNOWN and ZERO_ORDER in the enumerate `Type' and modified the two constructors in according with this change: the recurrence `x(n) = 0' is of the type ZERO_ORDER and the recurrence `x(n) = e' is of the type UNKNOWN. Added method `bool Ok() const'. Added `decrements' to the arguments of `classification_summand()'. Renamed `compute_order()' into `compute_order_inserting_decrement()' and added `decrements' to its arguments. The pointer to `Finite_Order_Info' is mutable.

Patches: 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...