projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 506a7b8) | patch
Document special member functions in python API (#8513)
authorGereon Kremer <gkremer@cs.stanford.edu>
Fri, 1 Apr 2022 20:12:10 +0000 (22:12 +0200)
committerGitHub <noreply@github.com>
Fri, 1 Apr 2022 20:12:10 +0000 (13:12 -0700)
commit3c18371323bafb8f06c36de39aad100772ec6729
tree6db178c28b5652e9dd323f5f06e66cccf50a4a17tree
parent506a7b8c4a9e118b46d0417a1f060e0a9da8e647commit | diff
Document special member functions in python API (#8513)

This PR documents relevant special member functions __getitem__ and __iter__ for some classes in the base python API.
docs/api/python/base/datatype.rst diff | blob | history
docs/api/python/base/datatypeconstructor.rst diff | blob | history
docs/api/python/base/op.rst diff | blob | history
docs/api/python/base/term.rst diff | blob | history
src/api/python/cvc5.pxi diff | blob | history