CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-07-04 13:02:45
Modified files:
src : Recurrence.inlines.hh
Log message:
Added the calls to the method `Cached_Expr::remove_bad_symbols()'
on the exact solution and on the bounds.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-07-04 13:02:02
Modified files:
src : Recurrence.defs.hh
Log message:
The method `Cached_Expr::remove_bad_symbols()' is became friend
to the class Recurrence.
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-07-04 10:09:56
Modified files:
src : compute_bounds.cc
Log message:
Fixed a bug in the function `sharper_bounds_for_no_polynomial_function()':
I had forgotten to test some booleans.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-07-02 17:56:46
Modified files:
src : compute_bounds.cc
Log message:
Removed useless exceptions: when the function `compare()' fails
the system compute the bounds with the theorem.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…
