Names the Effort enum of QuantConflictFind class. (#1354)
authorTim King <taking@cs.nyu.edu>
Sun, 19 Nov 2017 00:27:46 +0000 (16:27 -0800)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 19 Nov 2017 00:27:46 +0000 (18:27 -0600)
commit6f95e3c711d39b531eb0a8ac0e098c89a5737ce2
treef30496e445b710b5a1fa1dae5a5cad0911648857
parenta7524f1f72c324dae36bd4a461d31e5e26fdca15
Names the Effort enum of QuantConflictFind class. (#1354)

* Changes the Effort level of QuantConflictFind to an enum class. Adding a third value to the enum to indicate not being set. Minor refactoring related to this change. Resolves CID 1172043.

* Fixing a missed assertion. Fixing a few compiler warnings.

* Switching back to an enum from an enum class.
src/theory/quantifiers/quant_conflict_find.cpp
src/theory/quantifiers/quant_conflict_find.h
src/theory/quantifiers/quantifiers_rewriter.h
src/theory/quantifiers/rewrite_engine.cpp
src/theory/quantifiers/sygus_process_conj.cpp
src/theory/quantifiers/sygus_process_conj.h