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?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/finite_order.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pur... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pur...