mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
22 lines
433 B
ReStructuredText
22 lines
433 B
ReStructuredText
SynthResult
|
|
===========
|
|
|
|
This class represents a :cpp:class:`cvc5::Solver` SyGus synthesis result.
|
|
|
|
----
|
|
|
|
- class :cpp:class:`cvc5::SynthResult`
|
|
- :cpp:func:`std::ostream& cvc5::operator<< (std::ostream& out, const SynthResult& r)`
|
|
|
|
----
|
|
|
|
.. doxygenclass:: cvc5::SynthResult
|
|
:project: cvc5
|
|
:members:
|
|
:undoc-members:
|
|
|
|
----
|
|
|
|
.. doxygenfunction:: cvc5::operator<<(std::ostream& out, const SynthResult& r)
|
|
:project: cvc5
|