projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d21e43) | patch
api: Add Sort::getInstantiatedParameters(). (#8445)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 29 Mar 2022 21:36:12 +0000 (14:36 -0700)
committerGitHub <noreply@github.com>
Tue, 29 Mar 2022 21:36:12 +0000 (21:36 +0000)
commite7fe90e7b8928cb18d597c6f0e8b0df362f604d7
tree03681e51a1ecaf31a0ae27817ccb8a60e5d3d1bftree
parent3d21e4397f5f5db2266b623729542755b34b1996commit | diff
api: Add Sort::getInstantiatedParameters(). (#8445)

This adds a function to retrieve the sort arguments an instantiated
sort has been instantiated with. It further deletes
Sort::getDatatypeParamSorts() and
Sort::getUninterpretedSortParamSorts().
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
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