November 2003 - PURRS-devel

purrs demos/purrs_rrs_cgi.cc src/Recurrence.cc ...
by Tatiana Zolo 14 Nov '03

14 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-14 12:45:47 Modified files: demos : purrs_rrs_cgi.cc src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh rr_classifier.cc tests : rrs_driver.cc Log message: Removed the status `HAS_HUGE_DECREMENT' from `Solver_Status'. Now the status `HAS_HUGE_DECREMENT' of `Classifier_Status' is mapped in the status `TOO_COMPLEX' of `Solver_Status'. Added and fixed several comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… 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.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Recurrence.inlines.hh
by Tatiana Zolo 13 Nov '03

13 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-13 18:08:51 Modified files: src : Recurrence.inlines.hh Log message: Fixed a bug in the method `Recurrence::replace_recurrence()': now set the data `classifier_status_' to NOT_CLASSIFIED_YET. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d…

1 0

purrs/src Recurrence.defs.hh Recurrence.inline ...
by Tatiana Zolo 13 Nov '03

13 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-13 17:36:53 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh compute_exact_solution.cc rr_classifier.cc Log message: Removed the method `Recurrence::is_order_zero()'. Some improvements in the method `Recurrence::solve_linear_finite_order()'. 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.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src finite_order.cc
by Tatiana Zolo 13 Nov '03

13 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-13 17:24:07 Modified files: src : finite_order.cc Log message: Minor change. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…

1 0

purrs demos/purrs_rrs_cgi.cc src/Recurrence.cc ...
by Tatiana Zolo 13 Nov '03

13 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-13 17:08:01 Modified files: demos : purrs_rrs_cgi.cc src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh rr_classifier.cc tests : rrs_driver.cc Log message: Moved the enum `Classifier_Status' in the private section of the class Recurrence and added to the enum `Solver_Status' (in the public section of the class Recurrence) the associated status which we want public. Added the private function `map_status()' that, given a `Classifier_Status', returns the associated `Solver_Status'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… 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.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Tatiana Zolo 13 Nov '03

13 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-13 15:40:22 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Added the type UNKNOWN in the enumerate `Type'. The constructor of the class Recurrence with an expression as argument (the right hand side of the recurrence) now set `type_' to `UNKNOWN'. 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.d…

1 0

purrs/doc definitions.dox
by Tatiana Zolo 13 Nov '03

13 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-13 12:45:20 Modified files: doc : definitions.dox Log message: Added definition of order of a recurrence and an explanation about symbolic initial conditions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/definitions.dox.diff?cv…

1 0

purrs/src Recurrence.cc compute_exact_solution.cc
by Tatiana Zolo 13 Nov '03

13 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-13 12:42:43 Modified files: src : Recurrence.cc compute_exact_solution.cc Log message: Improved comments in `solve_linear_finite_order()', `verify_finite_order()' and `verify_infinite_order()'. Others minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…

1 0

purrs/src Recurrence.cc rr_classifier.cc simpl ...
by Tatiana Zolo 13 Nov '03

13 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-13 10:18:26 Modified files: src : Recurrence.cc rr_classifier.cc simplify.cc simplify.hh Log message: Added the enumerate `Sum_Simplification_Kind' that specifies what kind of simplification to carry out on sum object. In the function `simplify_sum' substituted two boolean among its parameters with the enumerate type `Sum_Simplification_Kind'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.hh.diff?cvsroo…

1 0

purrs/src Infinite_Order_Info.defs.hh Infinite ...
by Tatiana Zolo 12 Nov '03

12 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-12 10:36:14 Modified files: src : Infinite_Order_Info.defs.hh Infinite_Order_Info.inlines.hh Recurrence.defs.hh Recurrence.inlines.hh rr_classifier.cc Log message: Added the private data `original_rhs_' to the class `Infinite_Order_Info'. In the case of the infinite order recurrence is not in normal form and the system transform it in normal form, this data contains the right hand side of the original recurrence. Moreover, added the methods in order to access to `original_rhs_' (publics in the class `Infinite_Order_Info' and privates in the class `Recurrence'). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Infinite_Order_Info.def… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Infinite_Order_Info.inl… 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.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0