diff options
| author | Tim King <taking@cs.nyu.edu> | 2011-03-05 17:33:01 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2011-03-05 17:33:01 +0000 |
| commit | 56edc6f7b4f9982ea5cbeec850e346ff7e4a8f00 (patch) | |
| tree | 95a5028ab0cafa69cd4330b1bf58139f99d81237 /src/theory/arith/arithvar_set.h | |
| parent | 042ee6a15455d3f4193d55cbb2d3d18da3e34776 (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.)
Diffstat (limited to 'src/theory/arith/arithvar_set.h')
0 files changed, 0 insertions, 0 deletions