diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2013-04-26 20:30:41 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2013-05-08 19:34:15 -0400 |
| commit | b53423bcec060d5a49ee2df4d1da55ed289de1d2 (patch) | |
| tree | dc8b9a06b7dd3f4221112b93b03c8810cbc9e7dc /src/prop | |
| parent | 75d3b086d2cbcb4508446e405e0599788a3a25a5 (diff) | |
rm decision/relevancy
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/prop_engine.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/prop/prop_engine.cpp b/src/prop/prop_engine.cpp index 5d6356a5b..a169d31e6 100644 --- a/src/prop/prop_engine.cpp +++ b/src/prop/prop_engine.cpp @@ -83,7 +83,8 @@ PropEngine::PropEngine(TheoryEngine* te, DecisionEngine *de, Context* satContext userContext, // fullLitToNode Map = options::threads() > 1 || - options::decisionMode() == decision::DECISION_STRATEGY_RELEVANCY); + options::decisionMode() == decision::DECISION_STRATEGY_RELEVANCY + ); d_satSolver->initialize(d_context, new TheoryProxy(this, d_theoryEngine, d_decisionEngine, d_context, d_cnfStream)); |