diff options
author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-06-15 14:13:04 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-06-15 14:13:04 +1000 |
commit | e00d7e6486739221f4d5adea1583743d3e23acfd (patch) | |
tree | 804a4762b816545b90034dc7eb8d3a372f4b497a /impl/MaxStrategy.hpp | |
parent | 3e3cc16699b2cf4d24629ba24c6d72ff912f0d96 (diff) |
Fix up the smart fixpoint iteration - make it actually work!
Diffstat (limited to 'impl/MaxStrategy.hpp')
-rw-r--r-- | impl/MaxStrategy.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
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; |