projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 042ee6a) | patch
- Adds "PreferenceFunction" to SimplexDecisionProcedure. A PreferenceFunction allows...
authorTim King <taking@cs.nyu.edu>
Sat, 5 Mar 2011 17:33:01 +0000 (17:33 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 5 Mar 2011 17:33:01 +0000 (17:33 +0000)
commit56edc6f7b4f9982ea5cbeec850e346ff7e4a8f00
tree95a5028ab0cafa69cd4330b1bf58139f99d81237tree
parent042ee6a15455d3f4193d55cbb2d3d18da3e34776commit | diff
- Adds "PreferenceFunction" to SimplexDecisionProcedure.  A PreferenceFunction allows for specifying how to choose between two nonbasic variables for which should become basic during the selectSlack(...) function. This partially addresses a point brought up by Dejan during the Code Review.  (Unfortunately, function pointers are involved in the implementation. Because of this, I have had Morgan review this code before check-in.)
src/theory/arith/simplex.cpp diff | blob | history
src/theory/arith/simplex.h diff | blob | history