Rename startEncoding function
[satune.git] / src / Tuner / autotuner.cc
index e9bd7731e1b5030e97eb3c786c5312d322558bd8..37657590a9b0698fc3ea536d794baf9ae1745315 100644 (file)
@@ -16,7 +16,7 @@ void AutoTuner::addProblem(CSolver *solver) {
 long long AutoTuner::evaluate(CSolver * problem, SearchTuner *tuner) {
        CSolver * copy=problem->clone();
        copy->setTuner(tuner);
-       int result = copy->startEncoding();
+       int result = copy->solve();
        long long elapsedTime=copy->getElapsedTime();
        long long encodeTime=copy->getEncodeTime();
        long long solveTime=copy->getSolveTime();