Cvc5Grammar
===========

This struct encapsulates a SyGuS grammar. It is created via
:cpp:func:`cvc5_mk_grammar()` and allows to define a context-free grammar of
terms, according to the definition of grammars in the SyGuS IF 2.1 standard.

.. container:: hide-toctree

  .. toctree::

----

.. doxygentypedef:: Cvc5Grammar
    :project: cvc5_c

----

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