diff options
Diffstat (limited to 'src/options/quantifiers_modes.h')
-rw-r--r-- | src/options/quantifiers_modes.h | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/src/options/quantifiers_modes.h b/src/options/quantifiers_modes.h index 18c3bfeda..0b410e3fe 100644 --- a/src/options/quantifiers_modes.h +++ b/src/options/quantifiers_modes.h @@ -133,19 +133,6 @@ enum CVC4_PUBLIC PrenexQuantMode { PRENEX_QUANT_NORMAL, }; -enum CegqiFairMode { - /** enforce fairness by UF corresponding to datatypes size */ - CEGQI_FAIR_UF_DT_SIZE, - /** enforce fairness by datatypes size */ - CEGQI_FAIR_DT_SIZE, - /** enforce fairness by datatypes height bound */ - CEGQI_FAIR_DT_HEIGHT_PRED, - /** enforce fairness by datatypes size bound */ - CEGQI_FAIR_DT_SIZE_PRED, - /** do not use fair strategy for CEGQI */ - CEGQI_FAIR_NONE, -}; - enum TermDbMode { /** consider all terms in master equality engine */ TERM_DB_ALL, |