CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-12-10 17:59:17 Modified files: src : Recurrence.cc Recurrence.defs.hh finite_order.cc util.cc util.hh Log message: `has_symbolic_initial_conditions()' renamed in `has_only_symbolic_initial_conditions()'. `has_at_least_a_symbolic_ic()' renamed in `has_at_least_a_symbolic_initial_condition()'. Fixed a bug in the validation of the solution of finite order recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsroot=purrs&r1=1.145&r2=1.146 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?cvsroot=purrs&r1=1.158&r2=1.159 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cvsroot=purrs&r1=1.28&r2=1.29 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=purrs&r1=1.75&r2=1.76 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=purrs&r1=1.38&r2=1.39