CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-12-18 13:17:14
Modified files:
src : Recurrence.defs.hh
Log message:
Temporary put in the public section of the class
the enumerate `Classifier_Status', the method
`classify_and_catch_special_cases()' and the
enumerate `Type': this is necessary in order to
use them in the `rr_filter'.
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-12-18 12:53:26
Added files:
tests : rr_filter.cc
Log message:
Added the filter among the recurrences of "heap"
based on the results of the classification's process.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rr_filter.cc?cvsroot=…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-12-18 08:55:40
Modified files:
src : Recurrence.cc
Log message:
Minor changes in the still commented code about the step 3
of the validation of linear finite order recurrences.
Other minor changes.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-12-18 08:50:50
Modified files:
src : alg_eq_solver.cc
Log message:
In the function `find_roots()' uncommented the call to the function
`is_nested_polynomial()' because used in the "new" method (see the paper
"Checking and Confining the Solutions of Recurrence Realtions")
for the validation of the exact solution of linear finite order recurrences
with constant coefficients.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-12-17 15:07:30
Modified files:
src : Recurrence.cc
Log message:
Fixed a problem in the function `verify_weighted_average()'.
Improved the function `subs_i_c_weighted_average()'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-12-16 16:59:24
Modified files:
src : Recurrence.cc
Log message:
Improved the methods `exact_solution()', `lower_bound()'
and `upper_bound()' so that calling them is sufficient in order to
get the evaluated exact solution (or bound) after giving
a different set of initial conditions.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…
