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?cvsroot=purrs&r1=1.106&r2=1.107 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?cvsroot=purrs&r1=1.108&r2=1.109 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.diff?cvsroot=purrs&r1=1.73&r2=1.74