[PURRS-devel] purrs src/rr_classifier.cc tests/heap

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-01-31 12:20:13

Modified files: src : rr_classifier.cc tests : heap

Log message: Fixed `rewrite_non_linear_recurrence()': for the moment we accept only non linear recurrences where if there is a power with in the base the `x' function `x(n-k)' or `x(n/k)' then the exponent must be a positive integer.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=purr...