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
master
cvc5/docs/api/python/pythonic/array.rst

46 lines
1.0 KiB
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
Arrays
============
More documentation for idiomatic python API (#7798) Arithmetic, bit-vectors, arrays.
2021-12-17 10:42:48 -08:00
Basic Array 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.Array
.. autofunction:: cvc5.pythonic.ConstArray
.. autofunction:: cvc5.pythonic.K
.. autofunction:: cvc5.pythonic.ArraySort
More documentation for idiomatic python API (#7798) Arithmetic, bit-vectors, arrays.
2021-12-17 10:42:48 -08:00
Array 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.Select
.. autofunction:: cvc5.pythonic.Store
.. autofunction:: cvc5.pythonic.Update
More documentation for idiomatic python API (#7798) Arithmetic, bit-vectors, arrays.
2021-12-17 10:42:48 -08:00
See the following operator overloads for building other kinds of array
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
* ``select``: :py:meth:`cvc5.pythonic.ArrayRef.__getitem__`
More documentation for idiomatic python API (#7798) Arithmetic, bit-vectors, arrays.
2021-12-17 10:42:48 -08:00
Testers
-------------------
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.is_array_sort
.. autofunction:: cvc5.pythonic.is_array
.. autofunction:: cvc5.pythonic.is_const_array
.. autofunction:: cvc5.pythonic.is_K
.. autofunction:: cvc5.pythonic.is_select
.. autofunction:: cvc5.pythonic.is_store
.. autofunction:: cvc5.pythonic.is_update
More documentation for idiomatic python API (#7798) Arithmetic, bit-vectors, arrays.
2021-12-17 10:42:48 -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.ArraySortRef
More documentation for idiomatic python API (#7798) Arithmetic, bit-vectors, arrays.
2021-12-17 10:42:48 -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.ArrayRef
More documentation for idiomatic python API (#7798) Arithmetic, bit-vectors, arrays.
2021-12-17 10:42:48 -08:00
:members:
:special-members:
Reference in New Issue Copy Permalink