projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 240dad8) | patch
Add getters to retrieve constants from api::Term (#5677)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Tue, 15 Dec 2020 19:09:54 +0000 (20:09 +0100)
committerGitHub <noreply@github.com>
Tue, 15 Dec 2020 19:09:54 +0000 (20:09 +0100)
commitaa1b0e19f9ccfc5338a1d056f03b36c0bec6b4b4
tree5ccfdbcd9ffcd0e741139d750d346c00fa9e884etree
parent240dad8784b4c9743ff6153a18daa7ae388f03e3commit | diff
Add getters to retrieve constants from api::Term (#5677)

This PR adds method to obtain constant values from api::Term that are either integers or strings.
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
src/util/integer_gmp_imp.cpp diff | blob | history
src/util/string.cpp diff | blob | history
src/util/string.h diff | blob | history
test/unit/api/term_black.cpp diff | blob | history