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...