projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc08d6a) | patch
api: Add Sort::hasSymbol() and Sort::getSymbol(). (#7825)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 16 Dec 2021 18:50:01 +0000 (10:50 -0800)
committerGitHub <noreply@github.com>
Thu, 16 Dec 2021 18:50:01 +0000 (18:50 +0000)
commit94c5c54989a7ddbff74c7d7e497e4725c2b36fa7
tree818dab1acc00e0cd9022811d873d1d03de2e065btree
parentbc08d6ada809232678abe605dc30386888da2c27commit | diff
api: Add Sort::hasSymbol() and Sort::getSymbol(). (#7825)
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
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