diff options
Diffstat (limited to 'src/theory/arith/partial_model.cpp')
-rw-r--r-- | src/theory/arith/partial_model.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/theory/arith/partial_model.cpp b/src/theory/arith/partial_model.cpp index 73f80a70d..4a126ec55 100644 --- a/src/theory/arith/partial_model.cpp +++ b/src/theory/arith/partial_model.cpp @@ -28,6 +28,13 @@ using namespace CVC4::theory; using namespace CVC4::theory::arith; +bool ArithPartialModel::boundsAreEqual(ArithVar x){ + if(hasLowerBound(x) && hasUpperBound(x)){ + return d_upperBound[x] == d_lowerBound[x]; + }else{ + return false; + } +} void ArithPartialModel::zeroDifferenceDetected(ArithVar x){ Assert(d_dm.isDifferenceSlack(x)); |