mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
14 lines
313 B
ReStructuredText
14 lines
313 B
ReStructuredText
Grammar
|
|
================
|
|
|
|
This class encapsulates a SyGuS grammar. It is created via
|
|
:py:func:`cvc5.Solver.mkGrammar()` and allows to define a context-free
|
|
grammar of terms, according to the definition of grammars in the SyGuS IF 2.1
|
|
standard.
|
|
|
|
----
|
|
|
|
.. autoclass:: cvc5.Grammar
|
|
:members:
|
|
:undoc-members:
|