mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
43 lines
623 B
ReStructuredText
43 lines
623 B
ReStructuredText
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:
|
|
|
|
----
|
|
|
|
.. autoclass:: cvc5.OptionCategory
|
|
:members:
|
|
:undoc-members:
|
|
|
|
----
|
|
|
|
.. autoclass:: cvc5.ProofComponent
|
|
:members:
|
|
:undoc-members:
|
|
|
|
----
|
|
|
|
.. autoclass:: cvc5.ProofFormat
|
|
:members:
|
|
:undoc-members:
|
|
|
|
----
|
|
|
|
.. autoclass:: cvc5.FindSynthTarget
|
|
:members:
|
|
:undoc-members:
|