summaryrefslogtreecommitdiff
path: root/impl/MaxStrategy.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'impl/MaxStrategy.hpp')
-rw-r--r--impl/MaxStrategy.hpp5
1 files changed, 5 insertions, 0 deletions
diff --git a/impl/MaxStrategy.hpp b/impl/MaxStrategy.hpp
index a324359..7a37fb2 100644
--- a/impl/MaxStrategy.hpp
+++ b/impl/MaxStrategy.hpp
@@ -23,6 +23,9 @@ struct MaxStrategy {
}
return _assignment[x.id()];
}
+ T operator() (const EquationSystem<T>& eqns, const VariableAssignment<T>& rho) const {
+ return eqns.foreach((*this), rho);
+ }
T operator() (const Expression<T>& expr, const VariableAssignment<T>& rho) const {
const MaxExpression<T>* max = dynamic_cast<const MaxExpression<T>*>(&expr);
if (max == NULL) {
@@ -31,6 +34,8 @@ struct MaxStrategy {
return (*expr.arguments()[_assignment[max->id()]])(rho);
}
}
+ MaxStrategy<T> improve() {
+ }
private:
unsigned int _length;
unsigned int* _assignment;