CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-11-13 10:18:26

Modified files: src : Recurrence.cc rr_classifier.cc simplify.cc simplify.hh

Log message: Added the enumerate `Sum_Simplification_Kind' that specifies what kind of simplification to carry out on sum object. In the function `simplify_sum' substituted two boolean among its parameters with the enumerate type `Sum_Simplification_Kind'.

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/rr_classifier.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.hh.diff?cvsroot...