Merge from decision branch (till r3663)

(no performace or search behavior changes expected)

1 files changed, 8 insertions, 0 deletions

diff --git a/src/prop/theory_proxy.cpp b/src/prop/theory_proxy.cpp
index ccb26b6f0..93f8c0a5d 100644
--- a/src/prop/theory_proxy.cpp
+++ b/src/prop/theory_proxy.cpp
@@ -188,9 +188,17 @@ void TheoryProxy::checkTime() {
   d_propEngine->checkTime();
 }
 
+bool TheoryProxy::isDecisionRelevant(SatVariable var) {
+  return d_decisionEngine->isRelevant(var);
+}
+
 bool TheoryProxy::isDecisionEngineDone() {
   return d_decisionEngine->isDone();
 }
 
+SatValue TheoryProxy::getDecisionPolarity(SatVariable var) {
+  return d_decisionEngine->getPolarity(var);
+}
+
 }/* CVC4::prop namespace */
 }/* CVC4 namespace */