diff options
Diffstat (limited to 'src/expr/kind_template.h')
-rw-r--r-- | src/expr/kind_template.h | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h index 6e2362e84..cc4286d25 100644 --- a/src/expr/kind_template.h +++ b/src/expr/kind_template.h @@ -28,9 +28,11 @@ namespace kind { enum Kind_t { - UNDEFINED_KIND = -1, /**< undefined */ - NULL_EXPR, /**< Null kind */ + UNDEFINED_KIND = -1, /**< undefined */ + NULL_EXPR, /**< Null kind */ + // clang-format off ${kind_decls} LAST_KIND /**< marks the upper-bound of this enumeration */ + // clang-format on }; /* enum Kind_t */ @@ -69,9 +71,10 @@ std::ostream& operator<<(std::ostream&, cvc5::Kind); bool isAssociative(::cvc5::Kind k); std::string kindToString(::cvc5::Kind k); -struct KindHashFunction { +struct KindHashFunction +{ inline size_t operator()(::cvc5::Kind k) const { return k; } -};/* struct KindHashFunction */ +}; /* struct KindHashFunction */ } // namespace kind @@ -80,17 +83,18 @@ struct KindHashFunction { */ enum TypeConstant { + // clang-format off ${type_constant_list} LAST_TYPE + // clang-format on }; /* enum TypeConstant */ /** * We hash the constants with their values. */ -struct TypeConstantHashFunction { - inline size_t operator()(TypeConstant tc) const { - return tc; - } -};/* struct TypeConstantHashFunction */ +struct TypeConstantHashFunction +{ + inline size_t operator()(TypeConstant tc) const { return tc; } +}; /* struct TypeConstantHashFunction */ const char* toString(TypeConstant tc); std::ostream& operator<<(std::ostream& out, TypeConstant typeConstant); |