From a2f099d72f65bbfe4224bc96ed16c1b423774760 Mon Sep 17 00:00:00 2001 From: Alex Ozdemir Date: Thu, 6 Jan 2022 20:37:08 -0800 Subject: [PATCH] Document quantifiers in idiomatic python API (#7880) --- docs/api/python/z3compat/quant.rst | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/docs/api/python/z3compat/quant.rst b/docs/api/python/z3compat/quant.rst index 8f4a756c7..ecf85445a 100644 --- a/docs/api/python/z3compat/quant.rst +++ b/docs/api/python/z3compat/quant.rst @@ -1,4 +1,20 @@ Quantifiers ============ +Builders +------------------ +.. autofunction:: cvc5_z3py_compat.ForAll +.. autofunction:: cvc5_z3py_compat.Exists +.. autofunction:: cvc5_z3py_compat.Lambda + +Testers +------------------- .. autofunction:: cvc5_z3py_compat.is_var +.. autofunction:: cvc5_z3py_compat.is_quantifier + +Classes +------- +.. autoclass:: cvc5_z3py_compat.QuantifierRef + :members: + :special-members: + -- 2.30.2