CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-08-05 12:46:17
Modified files:
src : rr_classifier.cc
Log message:
Some modifications in the functions `known_class_of_infinite_order()'
and `classification_summand()' so that the infinite order recurrences
containing a domain error are recognised.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-07-30 12:04:25
Modified files:
src : Recurrence.defs.hh
Log message:
Removed the qualifier `mutable' from the private date of the class
Recurrence `come_from_non_linear_rec'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-07-30 10:42:58
Modified files:
tests : heap
Log message:
Marked with `n' a non linear recurrence that now the system is not able to
transform in linear.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…
