diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-12-16 00:36:53 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-12-16 00:36:53 +0000 |
commit | 02c793249635ca25e1d611125074e6afdd91533f (patch) | |
tree | 46d716b7dfe4c04fb9eeb5933d7986b8f9089c91 /src/expr/metakind_template.h | |
parent | 76154a935ff1065c346da197bac6303302b67ac2 (diff) |
minor fixes for correct doxygen output
Diffstat (limited to 'src/expr/metakind_template.h')
-rw-r--r-- | src/expr/metakind_template.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h index c4604d40e..515b7978c 100644 --- a/src/expr/metakind_template.h +++ b/src/expr/metakind_template.h @@ -96,11 +96,11 @@ struct NodeValueCompare { * mean, see src/theory/builtin/kinds. */ enum MetaKind_t { - INVALID = -1, /*! special node non-kinds like NULL_EXPR or LAST_KIND */ - VARIABLE, /*! special node kinds: no operator */ - OPERATOR, /*! operators that get "inlined" */ - PARAMETERIZED, /*! parameterized ops (like APPLYs) that carry extra data */ - CONSTANT /*! constants */ + INVALID = -1, /**< special node non-kinds like NULL_EXPR or LAST_KIND */ + VARIABLE, /**< special node kinds: no operator */ + OPERATOR, /**< operators that get "inlined" */ + PARAMETERIZED, /**< parameterized ops (like APPLYs) that carry extra data */ + CONSTANT /**< constants */ };/* enum MetaKind_t */ }/* CVC4::kind::metakind namespace */ |