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: