CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-01-20 20:03:22 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Recurrence.cc Log message: Added the new methods Solver_Status compute_exact_solution() const; void exact_solution(Expr& e) const; Solver_Status compute_lower_bound() const; void lower_bound(Expr& e) const; Solver_Status compute_upper_bound() const; void upper_bound(Expr& e) const; that substitute and improve the old methods Solver_Status solve() const; Expr lower_bound_solution() const; Expr upper_bound_solution() const; bool exact_solution(Expr& exact_sol) const; Renamed `solve_easy_cases()' in `classify()'. Renamed `solve_try_hard()' in `catch_special_cases()'. Added the pointer to `Order_Reducton_info' and added the private methods for to access to the private data of the class `Order_Reduction_Info'. Patches: 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.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsro...