CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-01-29 17:59:56
Modified files:
src : compute_exact_solution.cc
Log message:
Added (commented) code to the method `solve_constant_coeff_order_2()'
that could be useful in order to obtain more simplified solutions for
the recurrences.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-01-28 16:56:36
Modified files:
src : rr_classifier.cc
Log message:
Improved the function `rewrite_non_linear_recurrence()' so that it
can recognize non-linear recurrences with domain's problems.
Consequent changes in the method `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 2004-01-27 18:31:01
Modified files:
src : compute_exact_solution.cc
Log message:
Added a FIXME in the function `solve_constant_coeff_order_2()' about
possible simplifications of the solution.
Other minor changes.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…
