docs/api/python/pythonic/quant.rst

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:
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			`Quantifiers`
			`============`

Document quantifiers in idiomatic python API (#7880) 2022-01-06 20:37:08 -08:00			`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.ForAll`
			`.. autofunction:: cvc5.pythonic.Exists`
			`.. autofunction:: cvc5.pythonic.Lambda`
Document quantifiers in idiomatic python API (#7880) 2022-01-06 20:37:08 -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_var`
			`.. autofunction:: cvc5.pythonic.is_quantifier`
Document quantifiers in idiomatic python API (#7880) 2022-01-06 20:37:08 -08:00
			`Classes`
			`-------`
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.QuantifierRef`
Document quantifiers in idiomatic python API (#7880) 2022-01-06 20:37:08 -08:00			`:members:`
			`:special-members:`