diff options
Diffstat (limited to 'src/options/quantifiers_modes.h')
| -rw-r--r-- | src/options/quantifiers_modes.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/options/quantifiers_modes.h b/src/options/quantifiers_modes.h index 0b410e3fe..a19555987 100644 --- a/src/options/quantifiers_modes.h +++ b/src/options/quantifiers_modes.h @@ -149,6 +149,16 @@ enum IteLiftQuantMode { ITE_LIFT_QUANT_MODE_ALL, }; +enum CbqiBvIneqMode +{ + /** solve for inequalities using slack values in model */ + CBQI_BV_INEQ_EQ_SLACK, + /** solve for inequalities using boundary points */ + CBQI_BV_INEQ_EQ_BOUNDARY, + /** solve for inequalities directly, using side conditions */ + CBQI_BV_INEQ_KEEP, +}; + enum CegqiSingleInvMode { /** do not use single invocation techniques */ CEGQI_SI_MODE_NONE, |