diff options
Diffstat (limited to 'impl/main.cpp')
-rw-r--r-- | impl/main.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/impl/main.cpp b/impl/main.cpp index 6546444..3f47a7b 100644 --- a/impl/main.cpp +++ b/impl/main.cpp @@ -97,6 +97,8 @@ int main (int argc, char* argv[]) { cout << "Usage: " << argv[0] << " filename naive|smart naive|repeat" << endl; exit(1); } + + FixpointAlgorithm<ZBar>* algorithm = NULL; if (!strcmp(argv[2], "naive")) { algorithm = new NaiveFixpointAlgorithm<ZBar>(); @@ -107,6 +109,8 @@ int main (int argc, char* argv[]) { } else { cout << "Unknown fixpoint algorithm." << endl; } + + MaxStrategy<ZBar>::ImprovementOperator* naiveImprovement = new MaxStrategy<ZBar>::NaiveImprovementOperator(); MaxStrategy<ZBar>::ImprovementOperator* improvement = NULL; if (!strcmp(argv[3], "repeat")) { |