projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e22528) | patch
Switched SimplexDecisionProcedure::d_delayedLemmas from a vector to a queue.
authorTim King <taking@cs.nyu.edu>
Thu, 17 Mar 2011 21:28:50 +0000 (21:28 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 17 Mar 2011 21:28:50 +0000 (21:28 +0000)
commit0c03497201fb4600ea8dc6e5e8638cd7e21060a9
treef20434384220529c19515fd999adc4883be0ea5atree
parent0e22528f5d249e301b2a5dc1f14849a7f8e25439commit | diff
Switched SimplexDecisionProcedure::d_delayedLemmas from a vector to a queue.
src/theory/arith/simplex.h diff | blob | history