projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 82a7160) | patch
Python api documentation: Op, Grammar, Result, Enums (#7095)
authoryoni206 <yoni206@users.noreply.github.com>
Fri, 15 Oct 2021 23:09:02 +0000 (02:09 +0300)
committerGitHub <noreply@github.com>
Fri, 15 Oct 2021 23:09:02 +0000 (23:09 +0000)
commit538eea94a5861a6eb300c0cb2da381d217e6e73b
tree6634386ceb636853a064aac47f8938387b732149tree
parent82a71608588e2cbf7ef581940abccb2f9632eef4commit | diff
Python api documentation: Op, Grammar, Result, Enums (#7095)

This PR adds documentation to the python class Op, Grammar, Result, and for API enums.
Additionally, documentation for isNull functions in the datatype classes is added for the python API, and a small change in the cpp API documentation is introduced.
docs/api/cpp/cpp.rst diff | blob | history
docs/api/cpp/unknownexplanation.rst [new file with mode: 0644] blob
docs/api/python/grammar.rst [new file with mode: 0644] blob
docs/api/python/op.rst [new file with mode: 0644] blob
docs/api/python/python.rst diff | blob | history
docs/api/python/result.rst [new file with mode: 0644] blob
docs/api/python/roundingmode.rst [new file with mode: 0644] blob
docs/api/python/unknownexplanation.rst [new file with mode: 0644] blob
src/api/cpp/cvc5.h diff | blob | history
src/api/python/cvc5.pxi diff | blob | history