diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-04-30 19:09:06 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-04-30 19:09:06 -0400 |
| commit | d833d5790a38dc62d8a4714a13253253767c377e (patch) | |
| tree | ef81e71be4cc53f00767b4606c407a65735bc88c /src/theory/arith/partial_model.cpp | |
| parent | 2b9e032cc93a96dccab8757326645da82b5866e5 (diff) | |
Draft of the new propagation code.
Diffstat (limited to 'src/theory/arith/partial_model.cpp')
| -rw-r--r-- | src/theory/arith/partial_model.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/theory/arith/partial_model.cpp b/src/theory/arith/partial_model.cpp index b1c8d1b64..3fae3751c 100644 --- a/src/theory/arith/partial_model.cpp +++ b/src/theory/arith/partial_model.cpp @@ -524,8 +524,12 @@ BoundsInfo ArithVariables::selectBoundsInfo(ArithVar v, bool old) const { } } +bool ArithVariables::boundsQueueEmpty() const { + return d_boundsQueue.empty(); +} + void ArithVariables::processBoundsQueue(BoundUpdateCallback& changed){ - while(!d_boundsQueue.empty()){ + while(!boundsQueueEmpty()){ ArithVar v = d_boundsQueue.back(); BoundsInfo prev = d_boundsQueue[v]; d_boundsQueue.pop_back(); |