InputParser
===========

This class is the main interface for retrieving commands and expressions
from an input.

----

.. doxygenclass:: cvc5::parser::InputParser
    :project: cvc5
    :members:
    :undoc-members: