From 2c22cee1f8fa87c527449a8bdc668ea311fdaf64 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
Date: Fri, 27 Apr 2012 13:33:58 +1000
Subject: Bit more work. maxFixpoint should be working now.

---
 impl/MaxStrategy.hpp | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'impl/MaxStrategy.hpp')

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;
-- 
cgit v1.2.3