mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
16 lines
361 B
ReStructuredText
16 lines
361 B
ReStructuredText
Command
|
|
=============
|
|
|
|
Encapsulation of a command.
|
|
Commands are constructed by the :cpp:class:`input parser
|
|
<cvc5::parser::InputParser>` and can be invoked on
|
|
the :cpp:class:`solver <cvc5::Solver>` and :cpp:class:`symbol manager
|
|
<cvc5::parser::SymbolManager>`.
|
|
|
|
----
|
|
|
|
.. doxygenclass:: cvc5::parser::Command
|
|
:project: cvc5
|
|
:members:
|
|
:undoc-members:
|