projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71b73af) | patch
- Adds the ArithPriorityQueue class. The ArithPriorityQueue class provides an abstrac...
authorTim King <taking@cs.nyu.edu>
Mon, 21 Feb 2011 19:15:33 +0000 (19:15 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 21 Feb 2011 19:15:33 +0000 (19:15 +0000)
commita101b2e309dd2818a85c954e45af586e530e289a
treeadf0d6927361c5ed8a5a5032ddf6d4acad8f7620tree
parent71b73af2ff69f41d71b892d6fc920a7b38fe736acommit | diff
- Adds the ArithPriorityQueue class. The ArithPriorityQueue class provides an abstraction to the previous priority queues representing the 2 different pivoting rules.
src/theory/arith/Makefile.am diff | blob | history
src/theory/arith/arith_priority_queue.cpp [new file with mode: 0644] blob
src/theory/arith/arith_priority_queue.h [new file with mode: 0644] blob
src/theory/arith/simplex.cpp diff | blob | history
src/theory/arith/simplex.h diff | blob | history