projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58c0043) | patch
Updating TheoryArithPrivate::getDeltaValue() to eagerly use the partial model value...
authorTim King <taking@google.com>
Thu, 13 Apr 2017 07:21:30 +0000 (00:21 -0700)
committerTim King <taking@google.com>
Sat, 22 Apr 2017 22:52:24 +0000 (15:52 -0700)
commit213c2c4a7d5f6d90f2bf169fb38c998808c05978
tree1550010a4db9eb51ed3707fbf3df709fa79742b0tree
parent58c004370561c582a090020113d8781b2ff6ac42commit | diff
Updating TheoryArithPrivate::getDeltaValue() to eagerly use the partial model value if exists.
src/theory/arith/theory_arith_private.cpp diff | blob | history
src/theory/arith/theory_arith_private.h diff | blob | history