docs/api/python/base/result.rst

Result
================

This class represents a :py:obj:`cvc5.Solver` result.

A :py:obj:`cvc5.Result` encapsulates a 3-valued solver result (sat, unsat,
unknown). Explanations for unknown results are represented as enum
:py:obj:`cvc5.UnknownExplanation` and can be queried via
:py:func:`cvc5.Result.getUnknownExplanation()`.

----

.. autoclass:: cvc5.Result
    :members:
    :undoc-members:
Python api documentation: Op, Grammar, Result, Enums (#7095) This PR adds documentation to the python class Op, Grammar, Result, and for API enums. Additionally, documentation for isNull functions in the datatype classes is added for the python API, and a small change in the cpp API documentation is introduced. 2021-10-16 02:09:02 +03:00			`Result`
			`================`

docs: python: Add missing docs text for pages. (#11057) 2024-08-05 11:47:34 -07:00			This class represents a :py:obj:`cvc5.Solver` result.

			A :py:obj:`cvc5.Result` encapsulates a 3-valued solver result (sat, unsat,
			`unknown). Explanations for unknown results are represented as enum`
			:py:obj:`cvc5.UnknownExplanation` and can be queried via
			:py:func:`cvc5.Result.getUnknownExplanation()`.

			`----`

Change name of Python API's package from pycvc5 to cvc5. (#7953) In the process, I changed a CMake target name from pycvc5 to cvc5_base_py_api. I could not change the target to cvc5, because that name is taken. 2022-02-02 15:45:42 -08:00			`.. autoclass:: cvc5.Result`
Python api documentation: Op, Grammar, Result, Enums (#7095) This PR adds documentation to the python class Op, Grammar, Result, and for API enums. Additionally, documentation for isNull functions in the datatype classes is added for the python API, and a small change in the cpp API documentation is introduced. 2021-10-16 02:09:02 +03:00			`:members:`
			`:undoc-members:`