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/boolean.rst

78 lines
2.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
Core & Booleans
================
Basic Boolean Term Builders
api: Fix smt-lib code blocks and math in C++ docs. (#7795)
2021-12-15 15:09:51 -08:00
---------------------------
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.Bool
.. autofunction:: cvc5.pythonic.BoolVal
.. autofunction:: cvc5.pythonic.BoolSort
.. autofunction:: cvc5.pythonic.FreshBool
.. autofunction:: cvc5.pythonic.Bools
.. autofunction:: cvc5.pythonic.BoolVector
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
Basic Generic Term Builders
api: Fix smt-lib code blocks and math in C++ docs. (#7795)
2021-12-15 15:09:51 -08:00
---------------------------
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.Const
.. autofunction:: cvc5.pythonic.Consts
.. autofunction:: cvc5.pythonic.FreshConst
.. autofunction:: cvc5.pythonic.Function
.. autofunction:: cvc5.pythonic.FreshFunction
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
Boolean Operators
api: Fix smt-lib code blocks and math in C++ docs. (#7795)
2021-12-15 15:09:51 -08:00
-----------------
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.And
.. autofunction:: cvc5.pythonic.Or
.. autofunction:: cvc5.pythonic.Not
.. autofunction:: cvc5.pythonic.mk_not
.. autofunction:: cvc5.pythonic.Implies
.. autofunction:: cvc5.pythonic.Xor
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
Generic Operators
api: Fix smt-lib code blocks and math in C++ docs. (#7795)
2021-12-15 15:09:51 -08:00
-----------------
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.If
.. autofunction:: cvc5.pythonic.Distinct
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
Equality
~~~~~~~~
See
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
:py:meth:`cvc5.pythonic.ExprRef.__eq__`
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
and
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
:py:meth:`cvc5.pythonic.ExprRef.__ne__`
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
for building equality and disequality terms.
Testers
api: Fix smt-lib code blocks and math in C++ docs. (#7795)
2021-12-15 15:09:51 -08:00
-------
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_bool
.. autofunction:: cvc5.pythonic.is_bool_value
.. autofunction:: cvc5.pythonic.is_true
.. autofunction:: cvc5.pythonic.is_false
.. autofunction:: cvc5.pythonic.is_and
.. autofunction:: cvc5.pythonic.is_or
.. autofunction:: cvc5.pythonic.is_implies
.. autofunction:: cvc5.pythonic.is_not
.. autofunction:: cvc5.pythonic.is_eq
.. autofunction:: cvc5.pythonic.is_distinct
.. autofunction:: cvc5.pythonic.is_const
.. autofunction:: cvc5.pythonic.is_func_decl
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
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.ExprRef
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
: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.SortRef
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
: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.BoolRef
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
: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.BoolSortRef
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
: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.FuncDeclRef
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:
Reference in New Issue Copy Permalink