mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
5b85cad4ee
This PR also adds a `:skip:` directive to suppress missing-example warnings for languages without an equivalent version.
12 lines
426 B
ReStructuredText
12 lines
426 B
ReStructuredText
Parser with Shared Symbol Manager
|
|
=================================
|
|
|
|
This example shows how to use the parser via the parser API and use it to
|
|
parse additional terms in another input source.
|
|
|
|
.. api-examples::
|
|
<examples>/api/cpp/parser_sym_manager.cpp
|
|
<examples>/api/c/parser_sym_manager.c
|
|
<examples>/api/java/ParserSymbolManager.java
|
|
<examples>/api/python/parser_sym_manager.py
|
|
:skip: py-pythonicapi, smt2 |