diff options
Diffstat (limited to 'src/decision/decision_engine_old.cpp')
| -rw-r--r-- | src/decision/decision_engine_old.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/decision/decision_engine_old.cpp b/src/decision/decision_engine_old.cpp index 120fc730b..261d78fdf 100644 --- a/src/decision/decision_engine_old.cpp +++ b/src/decision/decision_engine_old.cpp @@ -30,7 +30,7 @@ DecisionEngineOld::DecisionEngineOld(Env& env) d_result(context(), SAT_VALUE_UNKNOWN), d_engineState(0), d_enabledITEStrategy(nullptr), - d_decisionStopOnly(options::decisionMode() + d_decisionStopOnly(options().decision.decisionMode == options::DecisionMode::STOPONLY_OLD) { Trace("decision") << "Creating decision engine" << std::endl; @@ -39,11 +39,11 @@ DecisionEngineOld::DecisionEngineOld(Env& env) Trace("decision-init") << "DecisionEngineOld::init()" << std::endl; Trace("decision-init") << " * options->decisionMode: " - << options::decisionMode() << std::endl; + << options().decision.decisionMode << std::endl; Trace("decision-init") << " * decisionStopOnly: " << d_decisionStopOnly << std::endl; - if (options::decisionMode() == options::DecisionMode::JUSTIFICATION) + if (options().decision.decisionMode == options::DecisionMode::JUSTIFICATION) { d_enabledITEStrategy.reset(new decision::JustificationHeuristic(env, this)); } |