diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-05-28 22:06:58 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-05-28 22:06:58 +0000 |
| commit | ff066aebdc624a835c00414dd8ef56f70ad3aab2 (patch) | |
| tree | e14425012ea18388ba74645bade7b990efce24c1 /src/theory/arith/partial_model.h | |
| parent | 6aa071ef292d999828aa2f53e25179959404bea5 (diff) | |
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.
Diffstat (limited to 'src/theory/arith/partial_model.h')
| -rw-r--r-- | src/theory/arith/partial_model.h | 2 |
1 files changed, 2 insertions, 0 deletions
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); }; |