December 2003 - PURRS-devel

purrs/src rr_classifier.cc
by Tatiana Zolo 12 Dec '03

12 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-12 09:11:41 Modified files: src : rr_classifier.cc Log message: Added the simplification on logarithms at the beginning of the classification's process. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/tests heap
by Tatiana Zolo 10 Dec '03

10 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-10 17:59:31 Modified files: tests : heap Log message: Changed the mark from `yv' to `y' to 3 finite order recurrences as result of the bug fixed in the validation of the solution. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh fin ...
by Tatiana Zolo 10 Dec '03

10 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-10 17:59:17 Modified files: src : Recurrence.cc Recurrence.defs.hh finite_order.cc util.cc util.hh Log message: `has_symbolic_initial_conditions()' renamed in `has_only_symbolic_initial_conditions()'. `has_at_least_a_symbolic_ic()' renamed in `has_at_least_a_symbolic_initial_condition()'. Fixed a bug in the validation of the solution of finite order recurrences. 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/Recurrence.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 10 Dec '03

10 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-10 16:37:26 Modified files: src : Recurrence.cc Log message: Improved the function `substitute_i_c_shifting()' so that it is allowed giving initial conditions with index greater than 0 in the case of weighted-average recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Recurrence.cc rr_classifier.cc
by Tatiana Zolo 10 Dec '03

10 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-10 10:16:58 Modified files: src : Recurrence.cc rr_classifier.cc Log message: Several changes so that the system returns the solution of the original recurrence, and not the solution of the recurrence rewritten by the system. Moreover, now is verified the slution of the original recurrence and not the solution of the recurrence rewritten by the system. 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…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Tatiana Zolo 10 Dec '03

10 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-10 10:16:30 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Some changes in the private methods which call the public methods of the class Weighted-Average-Recurrence. 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 Weighted_Average_Info.defs.hh Weight ...
by Tatiana Zolo 10 Dec '03

10 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-10 10:14:32 Modified files: src : Weighted_Average_Info.defs.hh Weighted_Average_Info.inlines.hh Log message: Added a "struct" containing all the components necessary to rebuilding the original recurrence before the transformation of it in weighted-average recurrence. In the private section of the class add a pointer to this struct. Moreover, added the public method for setting the struct and other public methods in order to read its components. Removed old methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.i…

1 0

purrs/src Recurrence.inlines.hh
by Tatiana Zolo 05 Dec '03

05 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-05 12:38:46 Modified files: src : Recurrence.inlines.hh Log message: Improved the method `get_max_index_initial_condition()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d…

1 0

purrs/src rr_classifier.cc
by Tatiana Zolo 05 Dec '03

05 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-05 12:27:57 Modified files: src : rr_classifier.cc Log message: Stored the lower limit of a sum of a weighted-average recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Tatiana Zolo 05 Dec '03

05 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-05 12:26:32 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Added the 2 private methods `lower_limit()' and `set_lower_limit()'. 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