projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70391b7) | patch
api: Add Sort::getUninterpretedSortConstructor(). (#8459)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 30 Mar 2022 19:39:52 +0000 (12:39 -0700)
committerGitHub <noreply@github.com>
Wed, 30 Mar 2022 19:39:52 +0000 (19:39 +0000)
commitbf06678feedf5495d8d53a520747e456811cfa19
tree36cf6d6f2a9e7df4ac80639c2de1687a4ee591b8tree
parent70391b799bf75f3410844eef1cc8029d5f3c9e6ecommit | diff
api: Add Sort::getUninterpretedSortConstructor(). (#8459)

This further introduces TypeNode::isInstantiatedUninterpretedSort().
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/java/io/github/cvc5/api/Sort.java diff | blob | history
src/api/java/jni/sort.cpp diff | blob | history
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
src/expr/type_node.cpp diff | blob | history
src/expr/type_node.h diff | blob | history
test/unit/api/cpp/sort_black.cpp diff | blob | history
test/unit/api/java/SortTest.java diff | blob | history
test/unit/api/python/test_sort.py diff | blob | history