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

author	Aina Niemetz <aina.niemetz@gmail.com>
	Sat, 2 Apr 2022 18:57:50 +0000 (11:57 -0700)
committer	GitHub <noreply@github.com>
	Sat, 2 Apr 2022 18:57:50 +0000 (18:57 +0000)
commit	5dcb75066729d24fe17805049cd0df4ce8767302
tree	d2935407adca58dc522e41923f9f8c241a361f47	tree
parent	f65550a404fc83a66147ee0bf5e71afcd0f98f65	commit \| diff

api: Rename get(Selector|Constructor)Term() to getTerm(). (#8537)

30 files changed:

docs/theories/datatypes.rst		diff \| blob \| history
examples/api/cpp/datatypes.cpp		diff \| blob \| history
examples/api/java/Datatypes.java		diff \| blob \| history
examples/api/java/Statistics.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/DatatypeConstructor.java		diff \| blob \| history
src/api/java/io/github/cvc5/DatatypeSelector.java		diff \| blob \| history
src/api/java/jni/datatype_constructor.cpp		diff \| blob \| history
src/api/java/jni/datatype_selector.cpp		diff \| blob \| history
src/api/python/cvc5.pxd		diff \| blob \| history
src/api/python/cvc5.pxi		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
test/unit/api/cpp/datatype_api_black.cpp		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/sort_black.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/DatatypeTest.java		diff \| blob \| history
test/unit/api/java/SolverTest.java		diff \| blob \| history
test/unit/api/java/SortTest.java		diff \| blob \| history
test/unit/api/java/TermTest.java		diff \| blob \| history
test/unit/api/python/test_datatype_api.py		diff \| blob \| history
test/unit/api/python/test_solver.py		diff \| blob \| history
test/unit/api/python/test_sort.py		diff \| blob \| history
test/unit/api/python/test_term.py		diff \| blob \| history

RSS Atom