projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43b978c) | patch
Adding reduce() to the ArithPriorityQueue. This reduces the queue from a superset...
authorTim King <taking@cs.nyu.edu>
Wed, 27 Jun 2012 20:55:17 +0000 (20:55 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 27 Jun 2012 20:55:17 +0000 (20:55 +0000)
commit788d6399c368dcc226b2cb1dc3407831ff8b882c
tree493fe6f5a1a42b949995d15601cdacac02572535tree
parent43b978c7f326cb8d34b5b87d9bdbe9955397d1cecommit | diff
Adding reduce() to the ArithPriorityQueue. This reduces the queue from a superset of the basic variables that violate a bound to the exact set.
src/theory/arith/arith_priority_queue.cpp diff | blob | history
src/theory/arith/arith_priority_queue.h diff | blob | history