diff options
Diffstat (limited to 'docs/api/python/z3compat/boolean.rst')
-rw-r--r-- | docs/api/python/z3compat/boolean.rst | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/docs/api/python/z3compat/boolean.rst b/docs/api/python/z3compat/boolean.rst index e48e7f9e9..8ccc649c5 100644 --- a/docs/api/python/z3compat/boolean.rst +++ b/docs/api/python/z3compat/boolean.rst @@ -2,7 +2,7 @@ Core & Booleans ================ Basic Boolean Term Builders -------------------- +--------------------------- .. autofunction:: cvc5_z3py_compat.Bool .. autofunction:: cvc5_z3py_compat.Bools .. autofunction:: cvc5_z3py_compat.BoolVal @@ -11,13 +11,13 @@ Basic Boolean Term Builders .. autofunction:: cvc5_z3py_compat.BoolVector Basic Generic Term Builders -------------------- +--------------------------- .. autofunction:: cvc5_z3py_compat.Const .. autofunction:: cvc5_z3py_compat.Consts .. autofunction:: cvc5_z3py_compat.FreshConst Boolean Operators -------------------- +----------------- .. autofunction:: cvc5_z3py_compat.And .. autofunction:: cvc5_z3py_compat.Or .. autofunction:: cvc5_z3py_compat.Not @@ -26,7 +26,7 @@ Boolean Operators .. autofunction:: cvc5_z3py_compat.Xor Generic Operators -------------------- +----------------- .. autofunction:: cvc5_z3py_compat.If .. autofunction:: cvc5_z3py_compat.Distinct @@ -41,7 +41,7 @@ for building equality and disequality terms. Testers -------------------- +------- .. autofunction:: cvc5_z3py_compat.is_bool .. autofunction:: cvc5_z3py_compat.is_true .. autofunction:: cvc5_z3py_compat.is_false @@ -55,7 +55,7 @@ Testers Classes --------- +------- .. autoclass:: cvc5_z3py_compat.ExprRef :members: :special-members: |