diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-10 08:52:01 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-10 08:52:01 -0800 |
commit | 7357de6df17449837e8da7defc9c8a52522c50de (patch) | |
tree | 9c50d698ad428299ce056818d0af65b0c4d310a7 /src/theory/booleans | |
parent | 2e5cc613d280fab1be89d8360250cbc3a1635ac9 (diff) |
Removing throw specifiers from type enumerators. (#1502)
Diffstat (limited to 'src/theory/booleans')
-rw-r--r-- | src/theory/booleans/type_enumerator.h | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/src/theory/booleans/type_enumerator.h b/src/theory/booleans/type_enumerator.h index b0759cbb2..32c6bae42 100644 --- a/src/theory/booleans/type_enumerator.h +++ b/src/theory/booleans/type_enumerator.h @@ -30,11 +30,10 @@ namespace booleans { class BooleanEnumerator : public TypeEnumeratorBase<BooleanEnumerator> { enum { FALSE, TRUE, DONE } d_value; -public: - - BooleanEnumerator(TypeNode type, TypeEnumeratorProperties * tep = NULL) : - TypeEnumeratorBase<BooleanEnumerator>(type), - d_value(FALSE) { + public: + BooleanEnumerator(TypeNode type, TypeEnumeratorProperties* tep = nullptr) + : TypeEnumeratorBase<BooleanEnumerator>(type), d_value(FALSE) + { Assert(type.getKind() == kind::TYPE_CONSTANT && type.getConst<TypeConstant>() == BOOLEAN_TYPE); } @@ -50,7 +49,8 @@ public: } } - BooleanEnumerator& operator++() throw() { + BooleanEnumerator& operator++() override + { // sequence is FALSE, TRUE if(d_value == FALSE) { d_value = TRUE; @@ -60,10 +60,7 @@ public: return *this; } - bool isFinished() throw() { - return d_value == DONE; - } - + bool isFinished() override { return d_value == DONE; } };/* class BooleanEnumerator */ }/* CVC4::theory::booleans namespace */ |