projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c98b2f) | patch
api: Rename DatatypeSelector::getRangeSort() to getCodomainSort(). (#7831)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 17 Dec 2021 05:20:49 +0000 (21:20 -0800)
committerGitHub <noreply@github.com>
Fri, 17 Dec 2021 05:20:49 +0000 (21:20 -0800)
commitc69b57edf5ed63b5d6ad65e5ab7936a6e830099a
tree3f9eb4030f9ea74c1434841716f21716e829c9e2tree
parent6c98b2f66aaee9e8f266bee816d730cc5ffee821commit | diff
api: Rename DatatypeSelector::getRangeSort() to getCodomainSort(). (#7831)
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/java/io/github/cvc5/api/Datatype.java diff | blob | history
src/api/java/io/github/cvc5/api/DatatypeConstructorDecl.java diff | blob | history
src/api/java/io/github/cvc5/api/DatatypeSelector.java diff | blob | history
src/api/java/jni/datatype_selector.cpp diff | blob | history
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/unit/api/cpp/datatype_api_black.cpp diff | blob | history
test/unit/api/java/DatatypeTest.java diff | blob | history
test/unit/api/python/test_datatype_api.py diff | blob | history