projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d21fc61) | patch
- Adds an additional mode to ArithPriorityQueue, Collection. Collection is a mode...
authorTim King <taking@cs.nyu.edu>
Thu, 24 Feb 2011 20:36:35 +0000 (20:36 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 24 Feb 2011 20:36:35 +0000 (20:36 +0000)
commit1d64c07f3eb160d297e786b31dac6ed05cd05a1a
treeda0c29ebb94a6fcbdcce8355308560d5f59eea3etree
parentd21fc6157aa190944d9e3181de883c080cb6ce3fcommit | diff
- Adds an additional mode to ArithPriorityQueue, Collection. Collection is a mode where the heap structure is not maintained.  There is just a list of variables that may be inconsistent. This is used up until the simplex procedure is invoked.
- Misc. cleanup and renaming in ArithPriorityQueue.
src/theory/arith/arith_priority_queue.cpp diff | blob | history
src/theory/arith/arith_priority_queue.h diff | blob | history
src/theory/arith/simplex.cpp diff | blob | history