diff options
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()); |