Modes
======

Some API functions require a configuration mode argument, e.g.,
:cpp:func:`cvc5_block_model()`.
The following enum classes define such configuration modes.

.. container:: hide-toctree

  .. toctree::

----

.. doxygenenum:: Cvc5BlockModelsMode
    :project: cvc5_c

.. doxygenfunction:: cvc5_modes_block_models_mode_to_string
    :project: cvc5_c

----

.. doxygenenum:: Cvc5LearnedLitType
    :project: cvc5_c

.. doxygenfunction:: cvc5_modes_learned_lit_type_to_string
    :project: cvc5_c

----

.. doxygenenum:: Cvc5FindSynthTarget
    :project: cvc5_c

.. doxygenfunction:: cvc5_modes_find_synth_target_to_string
    :project: cvc5_c

----

.. doxygenenum:: Cvc5OptionCategory
    :project: cvc5_c

.. doxygenfunction:: cvc5_modes_option_category_to_string
    :project: cvc5_c

----

.. doxygenenum:: Cvc5ProofComponent
    :project: cvc5_c

.. doxygenfunction:: cvc5_modes_proof_component_to_string
    :project: cvc5_c

----

.. doxygenenum:: Cvc5ProofFormat
    :project: cvc5_c

.. doxygenfunction:: cvc5_modes_proof_format_to_string
    :project: cvc5_c
