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