diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-12 19:41:28 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-20 20:00:55 -0400 |
| commit | b480438b3d39000cfac88eac12922a23f9fccbea (patch) | |
| tree | ab310d8512298a733f8e2d8f4805d06ee126208e /src/decision/decision_engine.h | |
| parent | 6106f021745ffc7ebc068f762a196140deb9d48d (diff) | |
Fix to bug 497: make justification heuristic's ITE cache context-dependent.
Diffstat (limited to 'src/decision/decision_engine.h')
| -rw-r--r-- | src/decision/decision_engine.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/decision/decision_engine.h b/src/decision/decision_engine.h index ea16cec16..859443d00 100644 --- a/src/decision/decision_engine.h +++ b/src/decision/decision_engine.h @@ -50,7 +50,7 @@ class DecisionEngine { DPLLSatSolverInterface* d_satSolver; context::Context* d_satContext; - context::Context* d_userContext; + context::UserContext* d_userContext; // Does decision engine know the answer? context::CDO<SatValue> d_result; @@ -64,7 +64,7 @@ public: // Necessary functions /** Constructor */ - DecisionEngine(context::Context *sc, context::Context *uc); + DecisionEngine(context::Context *sc, context::UserContext *uc); /** Destructor, currently does nothing */ ~DecisionEngine() { |