66 void assign(
Real val);
110 {
return this->operator+(literal(a)); }
112 {
return this->operator-(literal(a)); }
114 {
return this->operator*(literal(a)); }
116 {
return this->operator/(literal(a)); }
119 {
return this->eq(literal(a)); }
121 {
return this->lt(literal(a)); }
123 {
return this->gt(literal(a)); }
125 {
return this->lte(literal(a)); }
127 {
return this->gte(literal(a)); }
130 {
return this->eand(literal(a)); }
132 {
return this->eor(literal(a)); }
136 {
return this->ifelse(literal(ex1), literal(ex2)); }
138 {
return this->ifelse(ex1, literal(ex2)); }
140 {
return this->ifelse(literal(ex1), ex2); }
144 {
return this->minimum(literal(v)); }
148 {
return this->maximum(literal(v)); }
152 {
return this->pow(literal(v)); }
156 void setTrace(
bool v);
158 unsigned long vectorSize();