CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-06-03 15:05:30
Modified files:
src : rr_classifier.cc
Log message:
Moved the check on the presence of non-linear terms in the recurrence
from the function `classify()' to `classification_summand()'.
Consequent modifications to the function `find_non_linear_term()'.
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-06-03 12:20:58
Modified files:
src : rr_classifier.cc
Log message:
Fixed a bug in the function `eliminate_null_decrements()':
collect the terms `x(n)' so that the right hand side of the recurrence
is in the form `rhs = a*x(n) + b'.
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-06-03 09:26:10
Modified files:
src : rr_classifier.cc
Log message:
Moved the check on the presence of non-rational numbers in the recurrence
from the function `classify()' to `classification_summand()'.
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-05-31 01:17:01
Modified files:
src : Recurrence.cc
Log message:
Added a call to the function `simplify_sum()' in the functions
for the verification of the exact solution and the bounds.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…
