mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
12 lines
250 B
ReStructuredText
12 lines
250 B
ReStructuredText
SymbolManager
|
|
=============
|
|
|
|
This class manages a symbol table and other meta-information pertaining to
|
|
SMT-LIB v2 inputs (e.g., named assertions, declared functions, etc.).
|
|
|
|
-----
|
|
|
|
.. autoclass:: cvc5.SymbolManager
|
|
:members:
|
|
:undoc-members:
|