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: