projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 485b3db) | patch
Improve documentation of API kinds (#6341)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 14 Apr 2021 21:10:11 +0000 (23:10 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Apr 2021 21:10:11 +0000 (21:10 +0000)
commit9894b5fca418879ec472e5efbb43be26995e4045
treed71642d46d9a43fddf09cb306263f06982f11ef5tree
parent485b3db20d182b0d621c002bb355c9d1ec2429e9commit | diff
Improve documentation of API kinds (#6341)

This PR improves the documentation of the api::Kind enum. Note that the docs for many of the enum values should still be improved. This PR merely makes sure that everything that is already there is actually output (/* vs /**) and properly rendered (missing spacing between lists, some formulas, etc).
docs/CMakeLists.txt diff | blob | history
docs/cpp/kind.rst diff | blob | history
src/api/cpp/cvc5_kind.h diff | blob | history