projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f91f8f2) | patch
Minor improvements to the API (#6585)
authorGereon Kremer <nafur42@gmail.com>
Thu, 20 May 2021 14:29:17 +0000 (16:29 +0200)
committerGitHub <noreply@github.com>
Thu, 20 May 2021 14:29:17 +0000 (16:29 +0200)
commit777b1a5f2bbfec6040e292cc182f5ec5f48d03e5
treebc08bfed3cd7f642fc40efefd524920ebaac142ftree
parentf91f8f24d6ed98698373f5d51b17cf583adcd768commit | diff
Minor improvements to the API (#6585)

This PR does some minor improvements to the API:
- remove getConstSequenceElements(), use getSequenceValue() instead
- improve documentation for Term
docs/cpp/term.rst diff | blob | history
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/cpp/cvc5_kind.h diff | blob | history
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
src/parser/parser.cpp diff | blob | history
test/python/unit/api/test_term.py diff | blob | history
test/unit/api/term_black.cpp diff | blob | history