diff options
author | Tim King <taking@cs.nyu.edu> | 2011-05-06 21:23:38 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2011-05-06 21:23:38 +0000 |
commit | 9462ccde8b06aae3b13e271465ab74b2e312a095 (patch) | |
tree | b200ffaee3ea3080fc930af9b3037d2d4ef95144 /src/theory/arith/arith_prop_manager.cpp | |
parent | b59479db8d6dc9d59b4788bc59084a6d3c47d528 (diff) |
Deleting dead code.
Diffstat (limited to 'src/theory/arith/arith_prop_manager.cpp')
-rw-r--r-- | src/theory/arith/arith_prop_manager.cpp | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/theory/arith/arith_prop_manager.cpp b/src/theory/arith/arith_prop_manager.cpp index 151421b31..77d32ef0b 100644 --- a/src/theory/arith/arith_prop_manager.cpp +++ b/src/theory/arith/arith_prop_manager.cpp @@ -24,23 +24,6 @@ bool ArithPropManager::isAsserted(TNode n) const{ } } -// Node ArithPropManager::strictlyWeakerAssertedUpperBound(TNode n) const{ -// Node weaker = n; -// do { -// weaker = d_propagator.getWeakerImpliedUpperBound(weaker); -// }while(!weaker.isNull() && !isAsserted(weaker)); -// Assert(weaker != n); -// return weaker; -// } - -// Node ArithPropManager::strictlyWeakerAssertedLowerBound(TNode n) const{ -// Node weaker = n; -// do { -// weaker = d_propagator.getWeakerImpliedLowerBound(weaker); -// }while(!weaker.isNull() && !isAsserted(weaker)); -// Assert(weaker != n); -// return weaker; -// } Node ArithPropManager::strictlyWeakerAssertedUpperBound(ArithVar v, const DeltaRational& b) const{ Node bound = boundAsNode(true, v, b); |