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 | |
parent | 76154a935ff1065c346da197bac6303302b67ac2 (diff) |
minor fixes for correct doxygen output
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/kind_template.h | 6 | ||||
-rw-r--r-- | src/expr/metakind_template.h | 10 | ||||
-rwxr-xr-x | src/expr/mkkind | 2 | ||||
-rw-r--r-- | src/expr/node_builder.h | 2 |
4 files changed, 10 insertions, 10 deletions
diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h index 718fd58f4..3b1232772 100644 --- a/src/expr/kind_template.h +++ b/src/expr/kind_template.h @@ -28,10 +28,10 @@ namespace CVC4 { namespace kind { enum Kind_t { - UNDEFINED_KIND = -1, /*! undefined */ - NULL_EXPR, /*! Null kind */ + UNDEFINED_KIND = -1, /**< undefined */ + NULL_EXPR, /**< Null kind */ ${kind_decls} - LAST_KIND + LAST_KIND /**< marks the upper-bound of this enumeration */ };/* enum Kind_t */ 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 */ diff --git a/src/expr/mkkind b/src/expr/mkkind index a417b7871..ab80224eb 100755 --- a/src/expr/mkkind +++ b/src/expr/mkkind @@ -106,7 +106,7 @@ function register_kind { nc=$2 comment=$3 - kind_decls="${kind_decls} $r, /*! $comment */ + kind_decls="${kind_decls} $r, /**< $comment */ " kind_printers="${kind_printers} case $r: out << \"$r\"; break; " diff --git a/src/expr/node_builder.h b/src/expr/node_builder.h index cc8c780a8..3b9c41973 100644 --- a/src/expr/node_builder.h +++ b/src/expr/node_builder.h @@ -136,7 +136,7 @@ ** Regarding the backing store (typically on the stack): the file ** below provides the template: ** - ** template <unsigned nchild_thresh> class NodeBuilder; + ** template < unsigned nchild_thresh > class NodeBuilder; ** ** The default: ** |