CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-08-21 11:59:59
Modified files: src : Recurrence.cc compute_bounds.cc compute_exact_solution.cc compute_prod.cc finite_order.cc simplify.cc
Log message: Added some calls to the method `Expr::expand()'.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroot...