git.libre-soc.org Git - cvc5.git/commit

author	Aina Niemetz <aina.niemetz@gmail.com>
	Fri, 1 Apr 2022 21:36:07 +0000 (14:36 -0700)
committer	GitHub <noreply@github.com>
	Fri, 1 Apr 2022 21:36:07 +0000 (21:36 +0000)
commit	a7352156510fc2d43ea764d75f8da511d2401ea7
tree	a37173ce0a8bfa21d618de4f6102a9beadf0b3cd	tree
parent	b40f7ed10656c6ddd2d334bdb972130375d7312c	commit \| diff

api: Remove Datatype::getConstructorTerm(). (#8529)

18 files changed:

examples/api/cpp/datatypes.cpp		diff \| blob \| history
examples/api/java/Datatypes.java		diff \| blob \| history
examples/api/python/datatypes.py		diff \| blob \| history
src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5.h		diff \| blob \| history
src/api/cpp/cvc5_kind.h		diff \| blob \| history
src/api/java/io/github/cvc5/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/solver_black.cpp		diff \| blob \| history
test/unit/api/cpp/solver_white.cpp		diff \| blob \| history
test/unit/api/cpp/term_black.cpp		diff \| blob \| history
test/unit/api/cpp/term_white.cpp		diff \| blob \| history
test/unit/api/java/SolverTest.java		diff \| blob \| history
test/unit/api/java/TermTest.java		diff \| blob \| history
test/unit/api/python/test_solver.py		diff \| blob \| history
test/unit/api/python/test_term.py		diff \| blob \| history