summaryrefslogtreecommitdiff
path: root/impl/main.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'impl/main.cpp')
-rw-r--r--impl/main.cpp15
1 files changed, 0 insertions, 15 deletions
diff --git a/impl/main.cpp b/impl/main.cpp
index 02faca5..b547c48 100644
--- a/impl/main.cpp
+++ b/impl/main.cpp
@@ -140,20 +140,6 @@ int main (int argc, char* argv[]) {
log::debug << system << endl;
system.indexMaxExpressions(); // make reverse-lookup O(1) instead of O(n)
- IdMap<Variable<ZBar>,ZBar> result = solve_for(system);
- if (variables.size() > 0) {
- for (unsigned int i = 0, size = system.variableCount(); i < size; ++i) {
- Variable<ZBar>& var = system.variable(i);
- if (variables.find(var.name()) != variables.end())
- cout << var.name() << " = " << result[var] << endl;
- }
- } else {
- for (unsigned int i = 0, size = system.variableCount(); i < size; ++i) {
- Variable<ZBar>& var = system.variable(i);
- cout << var.name() << " = " << result[var] << endl;
- }
- }
- /*
DynamicMaxStrategy<ZBar> strategy(system);
DynamicVariableAssignment<ZBar> rho(system, strategy);
strategy.setRho(rho);
@@ -171,7 +157,6 @@ int main (int argc, char* argv[]) {
cout << var.name() << " = " << rho[var].asKnown() << endl;
}
}
- */
parser -> free(parser);
tokens -> free(tokens);