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;