diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-13 15:31:38 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-13 15:31:38 +0000 |
| commit | 846de1aa9b4a34d1af657dc43cf22641abb06f2e (patch) | |
| tree | 56e9b6850c391b0ef13dafcfda2baafffc2374b6 /src/decision/decision_engine.h | |
| parent | ade6438a5779e4937b8f03209eb876a6ca7e9551 (diff) | |
Make d_result in DE context dependent
(fixes bugs in bv, others with JH on)
Diffstat (limited to 'src/decision/decision_engine.h')
| -rw-r--r-- | src/decision/decision_engine.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/decision/decision_engine.h b/src/decision/decision_engine.h index fb6f673d9..e19307170 100644 --- a/src/decision/decision_engine.h +++ b/src/decision/decision_engine.h @@ -50,10 +50,12 @@ class DecisionEngine { context::Context* d_satContext; context::Context* d_userContext; - SatValue d_result; + + // Does decision engine know the answer? + context::CDO<SatValue> d_result; // Disable creating decision engine without required parameters - DecisionEngine() {} + DecisionEngine() : d_result(NULL) {} public: // Necessary functions @@ -128,7 +130,7 @@ public: /** */ Result getResult() { - switch(d_result) { + switch(d_result.get()) { case SAT_VALUE_TRUE: return Result(Result::SAT); case SAT_VALUE_FALSE: return Result(Result::UNSAT); case SAT_VALUE_UNKNOWN: return Result(Result::SAT_UNKNOWN, Result::UNKNOWN_REASON); |