projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6aa071e) | patch
Added printModel() to src/theory/arith/partial_model.cpp. This is a debugging utilit...
authorTim King <taking@cs.nyu.edu>
Fri, 28 May 2010 22:06:58 +0000 (22:06 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 28 May 2010 22:06:58 +0000 (22:06 +0000)
commitff066aebdc624a835c00414dd8ef56f70ad3aab2
treee14425012ea18388ba74645bade7b990efce24c1tree
parent6aa071ef292d999828aa2f53e25179959404bea5commit | 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.
src/theory/arith/partial_model.cpp diff | blob | history
src/theory/arith/partial_model.h diff | blob | history