From f4046606737f18ed7ffd9da55529e08b704a5b05 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Thu, 16 Oct 2014 12:17:03 +0200
Subject: Add dt.size to datatypes theory.  Add option for fairness strategy
 used by CEGQI.  Improve care graph/equality status for datatypes.  Only do
 FULL effort check in datatypes if no other theories used output channel.

---
 src/theory/valuation.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/theory/valuation.cpp')

diff --git a/src/theory/valuation.cpp b/src/theory/valuation.cpp
index b2d7f4b21..7407086c2 100644
--- a/src/theory/valuation.cpp
+++ b/src/theory/valuation.cpp
@@ -103,5 +103,9 @@ std::pair<bool, Node> Valuation::entailmentCheck(theory::TheoryOfMode mode, TNod
   return d_engine->entailmentCheck(mode, lit, params, out);
 }
 
+bool Valuation::needCheck() const{
+  return d_engine->needCheck();
+}
+
 }/* CVC4::theory namespace */
 }/* CVC4 namespace */
-- 
cgit v1.2.3