projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d5a95c) | patch
TypeNode: Refactor get param types handling. (#8428)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 29 Mar 2022 08:33:05 +0000 (01:33 -0700)
committerGitHub <noreply@github.com>
Tue, 29 Mar 2022 08:33:05 +0000 (08:33 +0000)
commit0a6076715b1d290b58b99cdaa0014d30d4d8308f
treeb83ce9d23a63cb7fe7a31bc62d2ef6cfd28d546etree
parent3d5a95c11e92fd970aa0ba40cf748e44eb977dd9commit | diff
TypeNode: Refactor get param types handling. (#8428)

This introduces TypeNode::getInstantiatedParamTypes() and deletes
TypeNode::getParamTypes(). This is in preparation for adding
api::Sort::getInstantiatedParameters().
src/api/cpp/cvc5.cpp diff | blob | history
src/expr/dtype_cons.cpp diff | blob | history
src/expr/type_matcher.cpp diff | blob | history
src/expr/type_node.cpp diff | blob | history
src/expr/type_node.h diff | blob | history