projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9dd623) | patch
TypeNode: Unify functions to instantiate parametric sorts. (#8449)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 30 Mar 2022 15:07:13 +0000 (08:07 -0700)
committerGitHub <noreply@github.com>
Wed, 30 Mar 2022 15:07:13 +0000 (15:07 +0000)
commit3076c4e70ded49d4b54585738d2dfc1d4aed1b9c
treea61a499108d1d5078a4bc1833dee730378a424e2tree
parenta9dd62372b490ba36bf7fad3d6a9883949c341a0commit | diff
TypeNode: Unify functions to instantiate parametric sorts. (#8449)

This unifies `instantiateParametricDatatype()` and
`instantiateSortConstructor()` into `instantiate()`. It further fixes
how the API calls TypeNode instantation.
src/api/cpp/cvc5.cpp diff | blob | history
src/expr/dtype.cpp diff | blob | history
src/expr/dtype_cons.cpp diff | blob | history
src/expr/symbol_table.cpp diff | blob | history
src/expr/type_node.cpp diff | blob | history
src/expr/type_node.h diff | blob | history
src/theory/datatypes/theory_datatypes_type_rules.cpp diff | blob | history