[PURRS-devel] purrs/src Recurrence.defs.hh Recurrence.inline ...

[Tatiana Zolo]

CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	zolo at 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?cvsroot=purrs&r1=1.47&r2=1.48
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.diff?cvsroot=purrs&r1=1.31&r2=1.32
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsroot=purrs&r1=1.32&r2=1.33