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