ParserException
===============

 Base class for all Parser exceptions. If thrown, API objects can still be used

----

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