git.libre-soc.org Git - cvc5.git/commit

author	Aina Niemetz <aina.niemetz@gmail.com>
	Tue, 29 Mar 2022 01:37:13 +0000 (18:37 -0700)
committer	GitHub <noreply@github.com>
	Tue, 29 Mar 2022 01:37:13 +0000 (01:37 +0000)
commit	4f573702101ba23279d39ff22550f4b3193f038d
tree	4b45dd444369ad072f4186bc0c7c342d956d3337	tree
parent	bf2d64336c2d3cda4db39b6b528c2a3fc7e0f792	commit \| diff

api: Add Sort::isInstantiated(). (#8425)

This further removes Sort::isUinterpretedSortParameterized().

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