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 /docs/cpp/result.rst | |
| parent | 62f5fb8db269e12f13ce5c4e1c3f975776737836 (diff) | |
New C++ Api: Initial layout of Api documentation. (#6325)
Diffstat (limited to 'docs/cpp/result.rst')
| -rw-r--r-- | docs/cpp/result.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/cpp/result.rst b/docs/cpp/result.rst new file mode 100644 index 000000000..9ba1aaaaf --- /dev/null +++ b/docs/cpp/result.rst @@ -0,0 +1,7 @@ +Result +====== + +.. doxygenclass:: cvc5::api::Result + :project: cvc5 + :members: + :undoc-members: |