projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 97c7e81) | patch
New C++ API: Add Term::getId(). (#3360)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 8 Oct 2019 01:37:48 +0000 (18:37 -0700)
committerGitHub <noreply@github.com>
Tue, 8 Oct 2019 01:37:48 +0000 (18:37 -0700)
commit217710627bd440cb28524d014afb5f10058302fd
tree7f6ee4d6ed7b17dff5d0619e2f5dcf17af319bfdtree
parent97c7e81a68b31328e5bf40dd6939826e3cc1cf93commit | diff
New C++ API: Add Term::getId(). (#3360)

+ use explicit types in NodeValue
+ add unit test for Term::isParameterized()

Co-Authored-By: makaimann <makaim@stanford.edu>
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
src/expr/expr_template.cpp diff | blob | history
src/expr/expr_template.h diff | blob | history
src/expr/metakind_template.h diff | blob | history
src/expr/node.h diff | blob | history
src/expr/node_value.h diff | blob | history
test/unit/api/term_black.h diff | blob | history