Hans-Jörg 0a35879fc1 Make Proof Rule enum a part of the API (#9925) ...

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)

2023-09-27 00:58:03 +00:00

..

datatype.rst

Document special member functions in python API (#8513)

2022-04-01 13:12:10 -07:00

datatypeconstructor.rst

Document special member functions in python API (#8513)

2022-04-01 13:12:10 -07:00

datatypeconstructordecl.rst

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

datatypedecl.rst

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

datatypeselector.rst

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

grammar.rst

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

kind.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

op.rst

Document special member functions in python API (#8513)

2022-04-01 13:12:10 -07:00

proofrule.rst

Make Proof Rule enum a part of the API (#9925)

2023-09-27 00:58:03 +00:00

python.rst

Python api: Various fixes in docs. (#8480)

2022-04-01 05:45:33 +00:00

quickstart.rst

docs: Do not use explicit line numbers in literalinclude. (#8690)

2022-05-02 20:13:00 +00:00

result.rst

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

roundingmode.rst

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

solver.rst

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

sort.rst

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

statistics.rst

Python api: Various fixes in docs. (#8480)

2022-04-01 05:45:33 +00:00

synthresult.rst

Add SynthResult to the API (#8370)

2022-03-23 21:56:33 +00:00

term.rst

Document special member functions in python API (#8513)

2022-04-01 13:12:10 -07:00

unknownexplanation.rst

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00