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.
21 lines
380 B
ReStructuredText
21 lines
380 B
ReStructuredText
Quantifiers
|
|
============
|
|
|
|
Builders
|
|
------------------
|
|
.. autofunction:: cvc5.pythonic.ForAll
|
|
.. autofunction:: cvc5.pythonic.Exists
|
|
.. autofunction:: cvc5.pythonic.Lambda
|
|
|
|
Testers
|
|
-------------------
|
|
.. autofunction:: cvc5.pythonic.is_var
|
|
.. autofunction:: cvc5.pythonic.is_quantifier
|
|
|
|
Classes
|
|
-------
|
|
.. autoclass:: cvc5.pythonic.QuantifierRef
|
|
:members:
|
|
:special-members:
|
|
|