December 2002 - PURRS-devel

purrs/tests heap
by Tatiana Zolo 13 Dec '02

13 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-13 13:18:33 Modified files: tests : heap Log message: Marked with `v' or `d' several recurrences for which we have understand the behaviour. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 13 Dec '02

13 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-13 13:16:11 Modified files: src : Recurrence.cc Log message: Added some simplifications to the expressions. If the order is zero then the verification is useless. Temporary used `subs' instead of the function `substitute_function_x()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests rrs_driver.cc
by Tatiana Zolo 12 Dec '02

12 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-12 19:21:13 Modified files: tests : rrs_driver.cc Log message: Added part of the implementation in order to support the verification of the solution. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 12 Dec '02

12 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-12 19:17:42 Modified files: src : Recurrence.cc Log message: Several changes in the function `verify_solution()'. Started the implementation of the method `OK'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 12 Dec '02

12 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-12 19:15:30 Modified files: src : rr_solver.cc Log message: Changed the type of `order' from `int' to `unsigned int'. Removed the useless vector `decrements'. Other changes in according to the modifies in the class `Recurrence'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Tatiana Zolo 12 Dec '02

12 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-12 19:04:48 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Added a new enumerate, `VERIFY_STATUS', that returns three different values in according to the verification of the solution; `verify_solution()' now returns a `VERIFY_STATUS' and not a `bool'. The functions `add_initial_conditions()' and `Solver_Status solve_constant_coeff_order_1()' now are `const' (and not `static') in the section private of the class `Recurrence'. Added the methods `bool is_order_zero() const' and `void set_order_zero() const'. Added the private methods in order to access to the data of the class `Finite_Order_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.d…

1 0

purrs/src Finite_Order_Info.defs.hh Finite_Ord ...
by Tatiana Zolo 12 Dec '02

12 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-12 18:55:19 Modified files: src : Finite_Order_Info.defs.hh Finite_Order_Info.inlines.hh Log message: Changed the private data and added the methods to access them. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.defs.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.inlin…

1 0

purrs/src Finite_Order_Info.defs.hh Finite_Ord ...
by Tatiana Zolo 12 Dec '02

12 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-12 12:47:10 Modified files: src : Finite_Order_Info.defs.hh Finite_Order_Info.inlines.hh Log message: Added the method `unsigned get_one_initial_condition(unsigned position) const'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.defs.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.inlin…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Tatiana Zolo 12 Dec '02

12 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-12 10:26:18 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Added the method `const std::vector<Expr>& get_coefficients() const'. Improved methods `get_decrements()' and `get_initial_conditions()'. 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/src Finite_Order_Info.defs.hh Finite_Ord ...
by Tatiana Zolo 12 Dec '02

12 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-12 10:23:59 Modified files: src : Finite_Order_Info.defs.hh Finite_Order_Info.inlines.hh Log message: Added the method `const std::vector<Expr>& get_coefficients() const'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.defs.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.inlin…

1 0