CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-12-15 18:37:36 Modified files: src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh Log message: Changed all the methods that evaluate the exact solution or the bound in a interval: now the interval is not closed, [begin, end], but in the form [begin, end). Several things to fix in the part of the method `evaluate()' that evaluates weighted-average recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsroot=purrs&r1=1.149&r2=1.150 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?cvsroot=purrs&r1=1.160&r2=1.161 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.diff?cvsroot=purrs&r1=1.105&r2=1.106