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:
