
27 Oct
2003
27 Oct
'03
11:17 a.m.
CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-10-27 12:17:55
Modified files: src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh
Log message: Defined the type enumerate `Kind_of_Bound' which specifies the kinds of bounds for the solution that is possible to compute. Consequent changes in some methods. Removed an useless argument from the method `substitute_i_c_shifting()'.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsro... 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.di...