19 #include "TermVariable.h" 
   20 #include "TermConstant.h" 
   31     name_ = std::string(name);
 
   32     lowerBound_ = std::numeric_limits<double>::min();
 
   33     upperBound_ = std::numeric_limits<double>::max();
 
   51     } 
else if (term->Term::less(
this)) {
 
   55         term_variable = 
static_cast<const TermVariable *
> (term);
 
   56         ret = this->name_.compare(term_variable->name_) < 0;
 
   80     if (this->getProblem() != variable->getProblem()) {
 
   82         throw problem_mismatch_exception;
 
   84     if (this->name_ == variable->name_) {
 
   92         const DoubleVector* variableValues,
 
   93         TermValueSet* termValues) {
 
   94     return (*variableValues)[this->variableIndex_];
 
  102     return variableIndex_;
 
  110     variableIndex_ = variableIndex;
 
  126     lowerBound_ = lowerBound;
 
  150     upperBound_ = upperBound;