mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
3c18371323
This PR documents relevant special member functions __getitem__ and __iter__ for some classes in the base python API.
8 lines
126 B
ReStructuredText
8 lines
126 B
ReStructuredText
Term
|
|
================
|
|
|
|
.. autoclass:: cvc5.Term
|
|
:members:
|
|
:special-members: __getitem__, __iter__
|
|
:undoc-members:
|