SymbolManager
=============

This class manages a symbol table and other
meta-information pertaining to SMT2 file inputs (e.g. named assertions,
declared functions, etc.).

----

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