1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
Cvc5Plugin
==========
This structs encapsulates a user-specified solver plugin.
It is configured via :cpp:func:`cvc5_add_plugin()`.
.. container:: hide-toctree
.. toctree::
----
.. The following directive triggers a spurious warning. See issues:
https://github.com/breathe-doc/breathe/issues/543
https://github.com/sphinx-doc/sphinx/issues/7819
As a workaround, we add a note in the Cvc5Plugin struct documentation.
.. doxygentypedef:: Cvc5Plugin
:project: cvc5_c
.. doxygenstruct:: Cvc5Plugin
:project: cvc5_c
:members:
|
