diff options
Diffstat (limited to 'impl/main.cpp')
-rw-r--r-- | impl/main.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/impl/main.cpp b/impl/main.cpp index b03a4f2..40cae42 100644 --- a/impl/main.cpp +++ b/impl/main.cpp @@ -125,12 +125,12 @@ int main (int argc, char* argv[]) { do { if (prev) delete prev; prev = result; - strategy.improve(*prev); - for (unsigned int i = 0, size = system.variableCount(); i < size; ++i) { + /*for (unsigned int i = 0, size = system.variableCount(); i < size; ++i) { Variable<ZBar>& var = system.variable(i); cout << var.name() << " = " << (*result)[var] << ", "; } - cout << endl; + cout << endl;*/ + strategy.improve(*prev); result = algorithm->maxFixpoint(strategy); } while(!system.equalAssignments(*prev, *result)); if (prev) delete prev; |