Cvc5InputParser
===============

This struct is the main interface for retrieving :cpp:type:`commands
<Cvc5Command>` and :cpp:type:`expressions <Cvc5Term>` from an input.

.. container:: hide-toctree

  .. toctree::

----

.. doxygentypedef:: Cvc5InputParser
    :project: cvc5_c

----

.. doxygengroup:: c_cvc5inputparser
    :project: cvc5_c
    :content-only:
