mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
13 lines
250 B
ReStructuredText
13 lines
250 B
ReStructuredText
|
InputParser
|
||
|
|
===========
|
||
|
|
|
||
|
|
This class is the main interface for retrieving :cpp:class:`commands
|
||
|
|
<cvc5::parser::Command>` and :cpp:class:`expressions <cvc5::Term>` from an
|
||
|
|
input.
|
||
|
|
|
||
|
|
-----
|
||
|
|
|
||
|
|
.. autoclass:: cvc5.InputParser
|
||
|
|
:members:
|
||
|
|
:undoc-members:
|