• Home
• tools.aqua
• cvc5-turnkey
• 1.2.0
• source code
• modes.rst

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

cvc5-cvc5-1.2.0.docs.api.cpp.enums.modes.rst Maven / Gradle / Ivy

Modes
======

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

----

- enum class :cpp:enum:`cvc5::modes::BlockModelsMode`
- :cpp:func:`std::ostream& cvc5::modes::operator<< (std::ostream& out, BlockModelsMode mode)`
- :cpp:func:`std::string std::to_string(cvc5::modes::BlockModelsMode mode)`

- enum class :cpp:enum:`cvc5::modes::LearnedLitType`
- :cpp:func:`std::ostream& cvc5::modes::operator<< (std::ostream& out, LearnedLitType type)`
- :cpp:func:`std::string std::to_string(cvc5::modes::LearnedLitType type)`

- enum class :cpp:enum:`cvc5::modes::ProofComponent`
- :cpp:func:`std::ostream& cvc5::modes::operator<< (std::ostream& out, ProofComponent pc)`
- :cpp:func:`std::string std::to_string(cvc5::modes::ProofComponent component)`

- enum class :cpp:enum:`cvc5::modes::ProofFormat`
- :cpp:func:`std::ostream& cvc5::modes::operator<< (std::ostream& out, ProofFormat pc)`
- :cpp:func:`std::string std::to_string(cvc5::modes::ProofFormat format)`

- enum class :cpp:enum:`cvc5::modes::FindSynthTarget`
- :cpp:func:`std::ostream& cvc5::modes::operator<< (std::ostream& out, FindSynthTarget target)`
- :cpp:func:`std::string std::to_string(cvc5::modes::FindSynthTarget target)`

----

.. doxygenenum:: cvc5::modes::BlockModelsMode
    :project: cvc5

.. doxygenfunction:: cvc5::modes::operator<<(std::ostream& out, BlockModelsMode mode)
    :project: cvc5

.. doxygenfunction:: std::to_string(cvc5::modes::BlockModelsMode mode)
    :project: cvc5

----

.. doxygenenum:: cvc5::modes::LearnedLitType
    :project: cvc5

.. doxygenfunction:: cvc5::modes::operator<<(std::ostream& out, LearnedLitType type)
    :project: cvc5

.. doxygenfunction:: std::to_string(cvc5::modes::LearnedLitType type)
    :project: cvc5

----

.. doxygenenum:: cvc5::modes::ProofComponent
    :project: cvc5

.. doxygenfunction:: cvc5::modes::operator<<(std::ostream& out, ProofComponent pc)
    :project: cvc5

.. doxygenfunction:: std::to_string(cvc5::modes::ProofComponent component)
    :project: cvc5

----

.. doxygenenum:: cvc5::modes::ProofFormat
    :project: cvc5

.. doxygenfunction:: cvc5::modes::operator<<(std::ostream& out, ProofFormat pc)
    :project: cvc5

.. doxygenfunction:: std::to_string(cvc5::modes::ProofFormat format)
    :project: cvc5

----

.. doxygenenum:: cvc5::modes::FindSynthTarget
    :project: cvc5

.. doxygenfunction:: cvc5::modes::operator<<(std::ostream& out, FindSynthTarget target)
    :project: cvc5

.. doxygenfunction:: std::to_string(cvc5::modes::FindSynthTarget target)
    :project: cvc5