diff options
Diffstat (limited to 'src/expr/kind_template.h')
| -rw-r--r-- | src/expr/kind_template.h | 27 |
1 files changed, 13 insertions, 14 deletions
diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h index 6d08279cc..ccb7656a9 100644 --- a/src/expr/kind_template.h +++ b/src/expr/kind_template.h @@ -27,13 +27,13 @@ namespace CVC4 { namespace kind { -enum CVC4_PUBLIC Kind_t { - UNDEFINED_KIND = -1, /**< undefined */ - NULL_EXPR, /**< Null kind */ -${kind_decls} - LAST_KIND /**< marks the upper-bound of this enumeration */ +enum Kind_t +{ + UNDEFINED_KIND = -1, /**< undefined */ + NULL_EXPR, /**< Null kind */ + ${kind_decls} LAST_KIND /**< marks the upper-bound of this enumeration */ -};/* enum Kind_t */ +}; /* enum Kind_t */ }/* CVC4::kind namespace */ @@ -61,14 +61,14 @@ const char* toString(CVC4::Kind k); * @param k The kind to write to the stream * @return The stream */ -std::ostream& operator<<(std::ostream&, CVC4::Kind) CVC4_PUBLIC; +std::ostream& operator<<(std::ostream&, CVC4::Kind); /** Returns true if the given kind is associative. This is used by ExprManager to * decide whether it's safe to modify big expressions by changing the grouping of * the arguments. */ /* TODO: This could be generated. */ -bool isAssociative(::CVC4::Kind k) CVC4_PUBLIC; -std::string kindToString(::CVC4::Kind k) CVC4_PUBLIC; +bool isAssociative(::CVC4::Kind k); +std::string kindToString(::CVC4::Kind k); struct KindHashFunction { inline size_t operator()(::CVC4::Kind k) const { @@ -81,10 +81,9 @@ struct KindHashFunction { /** * The enumeration for the built-in atomic types. */ -enum CVC4_PUBLIC TypeConstant +enum TypeConstant { - ${type_constant_list} - LAST_TYPE + ${type_constant_list} LAST_TYPE }; /* enum TypeConstant */ /** @@ -100,9 +99,9 @@ std::ostream& operator<<(std::ostream& out, TypeConstant typeConstant); namespace theory { -::CVC4::theory::TheoryId kindToTheoryId(::CVC4::Kind k) CVC4_PUBLIC; +::CVC4::theory::TheoryId kindToTheoryId(::CVC4::Kind k); ::CVC4::theory::TheoryId typeConstantToTheoryId( - ::CVC4::TypeConstant typeConstant) CVC4_PUBLIC; + ::CVC4::TypeConstant typeConstant); }/* CVC4::theory namespace */ }/* CVC4 namespace */ |