CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2002-12-13 13:16:11
Modified files:
src : Recurrence.cc
Log message:
Added some simplifications to the expressions.
If the order is zero then the verification is useless.
Temporary used `subs' instead of the function `substitute_function_x()'.
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 2002-12-12 19:21:13
Modified files:
tests : rrs_driver.cc
Log message:
Added part of the implementation in order to support the verification
of the solution.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2002-12-12 19:17:42
Modified files:
src : Recurrence.cc
Log message:
Several changes in the function `verify_solution()'.
Started the implementation of the method `OK'.
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 2002-12-12 19:15:30
Modified files:
src : rr_solver.cc
Log message:
Changed the type of `order' from `int' to `unsigned int'.
Removed the useless vector `decrements'.
Other changes in according to the modifies in the class `Recurrence'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2002-12-12 19:04:48
Modified files:
src : Recurrence.defs.hh Recurrence.inlines.hh
Log message:
Added a new enumerate, `VERIFY_STATUS', that returns three different
values in according to the verification of the solution; `verify_solution()'
now returns a `VERIFY_STATUS' and not a `bool'.
The functions `add_initial_conditions()' and
`Solver_Status solve_constant_coeff_order_1()' now are `const' (and not `static')
in the section private of the class `Recurrence'.
Added the methods `bool is_order_zero() const' and `void set_order_zero() const'.
Added the private methods in order to access to the data of
the class `Finite_Order_Info'.
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.d…
