ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
24.1
cvc5/docs/api/python/pythonic/set.rst

41 lines
988 B
ReStructuredText
Raw Permalink Normal View History

Scaffold the idiomatic API's documentation (#7715) Scaffolding the documentation, and fleshing it out for the Boolean functions and terms.
2021-11-30 13:06:30 -08:00
Sets
============
Py idiomatic API: Doc sets, datatypes, FP (#7877)
2022-01-05 12:47:09 -08:00
Basic Set Term Builders
-------------------------
Integrate pythonic api (#8131) 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.
2022-03-03 03:16:09 +01:00
.. autofunction:: cvc5.pythonic.SetSort
.. autofunction:: cvc5.pythonic.Set
.. autofunction:: cvc5.pythonic.EmptySet
.. autofunction:: cvc5.pythonic.Singleton
.. autofunction:: cvc5.pythonic.FullSet
Py idiomatic API: Doc sets, datatypes, FP (#7877)
2022-01-05 12:47:09 -08:00
Set Operators
-------------------
Integrate pythonic api (#8131) 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.
2022-03-03 03:16:09 +01:00
.. 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
Py idiomatic API: Doc sets, datatypes, FP (#7877)
2022-01-05 12:47:09 -08:00
See the following operator overload for set terms:
Integrate pythonic api (#8131) 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.
2022-03-03 03:16:09 +01:00
* is member: :py:meth:`cvc5.pythonic.SetRef.__getitem__`
Py idiomatic API: Doc sets, datatypes, FP (#7877)
2022-01-05 12:47:09 -08:00
Classes (with overloads)
------------------------
Integrate pythonic api (#8131) 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.
2022-03-03 03:16:09 +01:00
.. autoclass:: cvc5.pythonic.SetSortRef
Py idiomatic API: Doc sets, datatypes, FP (#7877)
2022-01-05 12:47:09 -08:00
:members:
:special-members:
Integrate pythonic api (#8131) 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.
2022-03-03 03:16:09 +01:00
.. autoclass:: cvc5.pythonic.SetRef
Py idiomatic API: Doc sets, datatypes, FP (#7877)
2022-01-05 12:47:09 -08:00
:members:
:special-members:
Reference in New Issue Copy Permalink