diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-09 15:28:18 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-09 15:28:18 -0700 |
commit | ca7e206c239d8de0f25fb23544e4923641b85d11 (patch) | |
tree | b65ea3f3f8850e9dd2cc46764fa25f91059ed588 /src | |
parent | 62f5fb8db269e12f13ce5c4e1c3f975776737836 (diff) |
New C++ Api: Initial layout of Api documentation. (#6325)
Diffstat (limited to 'src')
-rw-r--r-- | src/api/cpp/cvc5.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/api/cpp/cvc5.h b/src/api/cpp/cvc5.h index d3e0857ff..d334da109 100644 --- a/src/api/cpp/cvc5.h +++ b/src/api/cpp/cvc5.h @@ -30,9 +30,11 @@ namespace cvc5 { +#ifndef DOXYGEN_SKIP template <bool ref_count> class NodeTemplate; typedef NodeTemplate<true> Node; +#endif class Command; class DType; @@ -1800,7 +1802,7 @@ class CVC4_EXPORT DatatypeConstructor std::shared_ptr<cvc5::DTypeConstructor> d_ctor; }; -/* +/** * A CVC4 datatype. */ class CVC4_EXPORT Datatype @@ -2259,7 +2261,7 @@ struct CVC4_EXPORT RoundingModeHashFunction /* Solver */ /* -------------------------------------------------------------------------- */ -/* +/** * A CVC4 solver. */ class CVC4_EXPORT Solver |