20 #include "TermVariable.h"
32 termIndex_ = INVALID_INDEX;
59 TermValueSet* termValues;
60 termValues =
new TermValueSet;
61 ret = this->
evaluate(variableValues, termValues);
73 const DoubleVector* variableValues,
74 TermValueSet* termValues) {
76 termValue.index = this->termIndex_;
77 TermValueSet::iterator position = termValues->find(termValue);
78 if (position == termValues->end()) {
79 termValue.value = this->
eval(variableValues, termValues);
80 termValues->insert(termValue);
81 return termValue.value;
83 return (*position).value;
94 const DoubleVector* variableValues,
95 TermValueSet* termValues) {
113 return typeid (*this).before(
typeid (*term));
129 termIndex_ = termIndex;
146 std::ostream& operator<<(std::ostream& outs,
const Term* term) {