CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-10-27 17:13:01
Modified files:
tests : heap
Log message:
Changed the mark to two functional equations that the system is not able
to verify from `ulv' to `ul'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-10-27 17:10:29
Modified files:
src : Recurrence.cc Recurrence.defs.hh
Recurrence.inlines.hh
Log message:
Started the reorganization of the validation's process for the
solution (or approximation): moved the 3 public methods
`Recurrence::verify_exact_solution()',
`Recurrence::verify_lower_bound()' and
`Recurrence::verify_upper_bound()'
from the file `Recurrence.inlines.hh' to `Recurrence.cc'.
Removed the static function `verify_exact_solution()' and moved
its code inside the aforesaid public method.
Transformed the static function `verify_bound()' in a private method
of the class Recurrence.
Other minor changes.
Comments again to fix.
Renamed the enumerate `Kind_of_Bound' in `Bound'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…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…
