67 void assign(
Real val);
112 return this->operator+(literal(a));
116 return this->operator-(literal(a));
120 return this->operator*(literal(a));
124 return this->operator/(literal(a));
129 return this->eq(literal(a));
133 return this->lt(literal(a));
137 return this->gt(literal(a));
141 return this->lte(literal(a));
145 return this->gte(literal(a));
150 return this->eand(literal(a));
154 return this->eor(literal(a));
160 return this->ifelse(literal(ex1), literal(ex2));
164 return this->ifelse(ex1, literal(ex2));
168 return this->ifelse(literal(ex1), ex2);
174 return this->minimum(literal(v));
180 return this->maximum(literal(v));
186 return this->pow(literal(v));
191 void setTrace(
bool v);
193 unsigned long vectorSize();