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) {