From ff066aebdc624a835c00414dd8ef56f70ad3aab2 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Fri, 28 May 2010 22:06:58 +0000
Subject: Added printModel() to src/theory/arith/partial_model.cpp.  This is a
 debugging utility that prints out the lower bound, upper bound, assignment,
 and the constraints that were asserted that caused the lower bound and
 upperbound to be asserted.

---
 src/theory/arith/partial_model.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/theory/arith/partial_model.h')

diff --git a/src/theory/arith/partial_model.h b/src/theory/arith/partial_model.h
index 5a0b662f8..01db59855 100644
--- a/src/theory/arith/partial_model.h
+++ b/src/theory/arith/partial_model.h
@@ -142,6 +142,8 @@ public:
   bool strictlyBelowUpperBound(TNode x);
   bool strictlyAboveLowerBound(TNode x);
   bool assignmentIsConsistent(TNode x);
+
+  void printModel(TNode x);
 };
 
 
-- 
cgit v1.2.3