diff options
Diffstat (limited to 'src/theory/arith/arith_prop_manager.h')
| -rw-r--r-- | src/theory/arith/arith_prop_manager.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/theory/arith/arith_prop_manager.h b/src/theory/arith/arith_prop_manager.h index 1fd23dd62..55d8ae635 100644 --- a/src/theory/arith/arith_prop_manager.h +++ b/src/theory/arith/arith_prop_manager.h @@ -105,10 +105,6 @@ public: return d_propagator.getWeakerImpliedUpperBound(n); } - - //Node strictlyWeakerAssertedUpperBound(TNode n) const; - //Node strictlyWeakerAssertedLowerBound(TNode n) const; - Node strictlyWeakerAssertedUpperBound(ArithVar v, const DeltaRational& b) const; Node strictlyWeakerAssertedLowerBound(ArithVar v, const DeltaRational& b) const; @@ -116,9 +112,6 @@ public: Node getBestImpliedLowerBound(ArithVar v, const DeltaRational& b) const; Node getBestImpliedUpperBound(ArithVar v, const DeltaRational& b) const; - bool hasStrongerLowerBound(TNode current) const; - bool hasStrongerUpperBound(TNode current) const; - bool containsLiteral(TNode n) const { return d_propagator.containsLiteral(n); } |