projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1c8127) | patch
cppapi: Remove Datatype::hasNestedRecursion(). (#7878)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 5 Jan 2022 21:20:05 +0000 (13:20 -0800)
committerGitHub <noreply@github.com>
Wed, 5 Jan 2022 21:20:05 +0000 (21:20 +0000)
commit7f4fe916ceda4a42ccbad740d620e5ef852f0280
tree28b366859a577e95ac35850651567e8b5a3d4c5ctree
parente1c81278ece836ac58ba4a84c0b65defcaf5c92fcommit | diff
cppapi: Remove Datatype::hasNestedRecursion(). (#7878)

Datatypes with nested recursion are a highly experimental feature and we
currentle don't even have a decision procedure for them.
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/jni/datatype.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