diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-09 13:10:32 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-09 13:10:32 +1000 |
| commit | 049a16d1b1a683487a0c17014e9f7c477820a132 (patch) | |
| tree | 1e8ef2c44cbc7eb154b245f618794776587619b0 /impl/main.cpp | |
| parent | f7d846f18354e254353bc417ed1a666c59ef3ea2 (diff) | |
Fixed up the newer strategy iteration stuff
Trivial 100000 var case in 15s on my Uni machine.
Diffstat (limited to 'impl/main.cpp')
| -rw-r--r-- | impl/main.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/impl/main.cpp b/impl/main.cpp index 0317390..31f2937 100644 --- a/impl/main.cpp +++ b/impl/main.cpp @@ -155,6 +155,7 @@ int main (int argc, char* argv[]) { } log::debug << system; + system.indexMaxExpressions(); // make reverse-lookup O(1) instead of O(n) StableVariableAssignment<ZBar> result(system.variableCount(), infinity<ZBar>()); ConcreteMaxStrategy<ZBar> strategy(system); IdSet<Variable<ZBar>> s1(system.variableCount()); |