projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 175568c) | patch
Python API documentation: terms (#7659)
authoryoni206 <yoni206@users.noreply.github.com>
Tue, 23 Nov 2021 17:34:14 +0000 (19:34 +0200)
committerGitHub <noreply@github.com>
Tue, 23 Nov 2021 17:34:14 +0000 (17:34 +0000)
commitfeae0b304028c3cb95ae239b9aa072398dfa890e
treed457148f1b3a4b8c290fe1e8d833f9983e9df8d3tree
parent175568cab882b8aec8172691cc165049eeea1c0fcommit | diff
Python API documentation: terms (#7659)

This PR adds documentation for the Terms class in the python API.
Co-authored-by: Gereon Kremer gereon.kremer@cs.rwth-aachen.de
docs/api/python/regular/python.rst diff | blob | history
docs/api/python/regular/term.rst [new file with mode: 0644] blob
src/api/python/cvc5.pxi diff | blob | history