• Home
• tools.aqua
• cvc5-turnkey
• 1.2.0
• source code
• cvc5optioninfo.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.c.structs.cvc5optioninfo.rst Maven / Gradle / Ivy

Cvc5OptionInfo
==============

This struct encapsulates all the information associated with a configuration
option. It can be retrieved via :cpp:func:`cvc5_get_option_info()`
and allows to query any configuration information associated with an option.

The kind of an option info object is defined as enum
:cpp:enum:`Cvc5OptionInfoKind`. Encapsulated values can be queried depending on
the kind.

.. container:: hide-toctree

  .. toctree::

----

.. doxygenenum:: Cvc5OptionInfoKind
    :project: cvc5_c

----

.. doxygentypedef:: Cvc5OptionInfo
    :project: cvc5_c

.. doxygenstruct:: Cvc5OptionInfo
    :project: cvc5_c
    :members:

----

.. doxygengroup:: c_cvc5optioninfo
    :project: cvc5_c
    :content-only: