2024-08-05 11:49:50 -07:00
|
|
|
Modes
|
|
|
|
|
======
|
|
|
|
|
|
|
|
|
|
Some API functions require a configuration mode argument, e.g.,
|
|
|
|
|
:py:func:`cvc5.Solver.blockModel()`.
|
|
|
|
|
The following enums define such configuration modes.
|
|
|
|
|
|
|
|
|
|
----
|
|
|
|
|
|
|
|
|
|
.. autoclass:: cvc5.BlockModelsMode
|
|
|
|
|
:members:
|
|
|
|
|
:undoc-members:
|
|
|
|
|
|
|
|
|
|
----
|
|
|
|
|
|
|
|
|
|
.. autoclass:: cvc5.LearnedLitType
|
|
|
|
|
:members:
|
|
|
|
|
:undoc-members:
|
|
|
|
|
|
|
|
|
|
----
|
|
|
|
|
|
2025-09-08 10:47:59 -03:00
|
|
|
.. autoclass:: cvc5.OptionCategory
|
|
|
|
|
:members:
|
|
|
|
|
:undoc-members:
|
|
|
|
|
|
|
|
|
|
----
|
|
|
|
|
|
2024-08-05 11:49:50 -07:00
|
|
|
.. autoclass:: cvc5.ProofComponent
|
|
|
|
|
:members:
|
|
|
|
|
:undoc-members:
|
|
|
|
|
|
|
|
|
|
----
|
|
|
|
|
|
|
|
|
|
.. autoclass:: cvc5.ProofFormat
|
|
|
|
|
:members:
|
|
|
|
|
:undoc-members:
|
|
|
|
|
|
|
|
|
|
----
|
|
|
|
|
|
|
|
|
|
.. autoclass:: cvc5.FindSynthTarget
|
|
|
|
|
:members:
|
|
|
|
|
:undoc-members:
|
