CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@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.di...