docs/api/python/pythonic/internals.rst

Internals
============


Testers
-------------------
.. autofunction:: cvc5.pythonic.is_expr
.. autofunction:: cvc5.pythonic.is_sort
.. autofunction:: cvc5.pythonic.is_app
.. autofunction:: cvc5.pythonic.is_app_of

Exceptions
-------------------

.. autoclass:: cvc5.pythonic.SMTException
   :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			`Internals`
			`============`


			`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_expr`
			`.. autofunction:: cvc5.pythonic.is_sort`
			`.. autofunction:: cvc5.pythonic.is_app`
			`.. autofunction:: cvc5.pythonic.is_app_of`
Python Idomatic API: Document solver, results, utilities, and fns (#7882) I put fns into "Core & Booleans". 2022-01-07 12:42:28 -08:00
			`Exceptions`
			`-------------------`

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.SMTException`
Python Idomatic API: Document solver, results, utilities, and fns (#7882) I put fns into "Core & Booleans". 2022-01-07 12:42:28 -08:00			`:members:`
			`:special-members:`