4 Jul
2003
4 Jul
'03
11 a.m.
CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-07-04 13:00:42
Modified files: src : Blackboard.defs.hh Blackboard.inlines.hh
Log message: Added `Symbol::NameCompare' in the definition of the map `index' and removed the `operator<' between symbols. Added the method `Blackboard::substitute()' that substitutes the left-hand side `bad' of the auxiliary equation `bad = e' with the symbol `good'.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.inlines.hh.di...