mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
ea5e75d04a
We decided we want to ship the pythonic API together with our base python API. This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
41 lines
988 B
ReStructuredText
41 lines
988 B
ReStructuredText
Sets
|
|
============
|
|
|
|
|
|
Basic Set Term Builders
|
|
-------------------------
|
|
|
|
.. autofunction:: cvc5.pythonic.SetSort
|
|
.. autofunction:: cvc5.pythonic.Set
|
|
.. autofunction:: cvc5.pythonic.EmptySet
|
|
.. autofunction:: cvc5.pythonic.Singleton
|
|
.. autofunction:: cvc5.pythonic.FullSet
|
|
|
|
Set Operators
|
|
-------------------
|
|
|
|
.. autofunction:: cvc5.pythonic.SetUnion
|
|
.. autofunction:: cvc5.pythonic.SetIntersect
|
|
.. autofunction:: cvc5.pythonic.SetAdd
|
|
.. autofunction:: cvc5.pythonic.SetDel
|
|
.. autofunction:: cvc5.pythonic.SetComplement
|
|
.. autofunction:: cvc5.pythonic.SetDifference
|
|
.. autofunction:: cvc5.pythonic.SetMinus
|
|
.. autofunction:: cvc5.pythonic.IsMember
|
|
.. autofunction:: cvc5.pythonic.IsSubset
|
|
|
|
See the following operator overload for set terms:
|
|
|
|
* is member: :py:meth:`cvc5.pythonic.SetRef.__getitem__`
|
|
|
|
|
|
Classes (with overloads)
|
|
------------------------
|
|
|
|
.. autoclass:: cvc5.pythonic.SetSortRef
|
|
:members:
|
|
:special-members:
|
|
.. autoclass:: cvc5.pythonic.SetRef
|
|
:members:
|
|
:special-members:
|