mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
23 lines
567 B
ReStructuredText
23 lines
567 B
ReStructuredText
OptionInfo
|
|
==========
|
|
|
|
This class encapsulates all the information associated with a configuration
|
|
option. It can be retrieved via :cpp:func:`cvc5::Solver::getOptionInfo()`
|
|
and allows to query any configuration information associated with an option.
|
|
|
|
----
|
|
|
|
- class :cpp:class:`cvc5::OptionInfo`
|
|
- :cpp:func:`std::ostream& cvc5::operator<< (std::ostream& out, const OptionInfo& info)`
|
|
|
|
----
|
|
|
|
.. doxygenstruct:: cvc5::OptionInfo
|
|
:project: cvc5
|
|
:members:
|
|
|
|
----
|
|
|
|
.. doxygenfunction:: cvc5::operator<<(std::ostream& out, const OptionInfo& info)
|
|
:project: cvc5
|