Cvc5SymbolManager
=================

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

.. container:: hide-toctree

  .. toctree::

----

.. doxygentypedef:: Cvc5SymbolManager
    :project: cvc5_c

----

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