projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca9b88f) | patch
api: Remove Sort::isParametricDatatype(). (#8405)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 25 Mar 2022 22:43:35 +0000 (15:43 -0700)
committerGitHub <noreply@github.com>
Fri, 25 Mar 2022 22:43:35 +0000 (22:43 +0000)
commita94548b57cb4fdd3be53d6bd016a6b8489bf8a70
tree844359cd7348551ce7f0adf86b67f0f97e80bd12tree
parentca9b88f79611caed3e03c64a64b96ec65ea62dfacommit | diff
api: Remove Sort::isParametricDatatype(). (#8405)

Previously, Sort::isParametricDatatype() returned true for both
instantiated and non-instantiated parametric datatypes.

This deletes the method, instead one can check getDatatype().isParametric(). Parametric datatypes will be distinguished from instantiated parametric datatypes via a forthcoming method Sort::isInstantiated.

Co-authored-by: ajreynol <andrew.j.reynolds@gmail.com>
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/symbol_table.cpp diff | blob | history
src/parser/parser.cpp 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