projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3dad390) | patch
Update documentation for Solver::mkVar() (#4833)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 3 Aug 2020 23:26:42 +0000 (16:26 -0700)
committerGitHub <noreply@github.com>
Mon, 3 Aug 2020 23:26:42 +0000 (16:26 -0700)
commitc84db77ecdaa7107a33824484bf9c649f8fcbbff
tree5f038373ee25ceb8ef8c0e13091035e6721eb4eftree
parent3dad390f4216a9d279197a52b40b8e93696d4019commit | diff
Update documentation for Solver::mkVar() (#4833)

The documentation of `Solver::mkVar()` was not very clear regarding what
it could be used for. This lead to some confusion (see e.g. #4828).
This commit makes the documentation more explicit.
src/api/cvc4cpp.h diff | blob | history