From e00d7e6486739221f4d5adea1583743d3e23acfd Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Fri, 15 Jun 2012 14:13:04 +1000
Subject: Fix up the smart fixpoint iteration - make it actually work!

---
 impl/MaxStrategy.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'impl/MaxStrategy.hpp')

diff --git a/impl/MaxStrategy.hpp b/impl/MaxStrategy.hpp
index 5d139fe..06f61b7 100644
--- a/impl/MaxStrategy.hpp
+++ b/impl/MaxStrategy.hpp
@@ -101,7 +101,7 @@ struct MaxStrategy : public EquationSystem<Domain> {
       unsigned int bestIndex = this->get(expr);
 
       // this relies on the fact that an expression will only be proessed after the expressions
-      // it depends on (which should always be true)
+      // it depends on (which should always be true, as they form a DAG)
       const std::vector<Expression<Domain>*> args = expr.arguments();
       for (unsigned int j = 0, length = args.size();
            j < length;
-- 
cgit v1.2.3