mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
0a35879fc1
This pull requests makes the enum that lists all proof rules a part of the API. It also renames the enum from PfRule to ProofRule. It also renames some unrelated types and function names that share the PfRule name (such as DslPfRule). This rename unfortunately touches many files since PfRule is not an uncommon type. (second to last commit)
7 lines
85 B
ReStructuredText
7 lines
85 B
ReStructuredText
ProofRule
|
|
=========
|
|
|
|
.. autoclass:: cvc5.ProofRule
|
|
:members:
|
|
:undoc-members:
|