diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-11-18 16:27:46 -0800 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-18 18:27:46 -0600 |
| commit | 6f95e3c711d39b531eb0a8ac0e098c89a5737ce2 (patch) | |
| tree | f30496e445b710b5a1fa1dae5a5cad0911648857 /src/theory/quantifiers/quantifiers_rewriter.h | |
| parent | a7524f1f72c324dae36bd4a461d31e5e26fdca15 (diff) | |
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.
Diffstat (limited to 'src/theory/quantifiers/quantifiers_rewriter.h')
| -rw-r--r-- | src/theory/quantifiers/quantifiers_rewriter.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/quantifiers_rewriter.h b/src/theory/quantifiers/quantifiers_rewriter.h index d1f819726..b179110e7 100644 --- a/src/theory/quantifiers/quantifiers_rewriter.h +++ b/src/theory/quantifiers/quantifiers_rewriter.h @@ -26,7 +26,7 @@ namespace CVC4 { namespace theory { namespace quantifiers { -class QAttributes; +struct QAttributes; class QuantifiersRewriter { private: |