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

author	Mathias Preiner <mathias.preiner@gmail.com>
	Fri, 1 Apr 2022 01:10:29 +0000 (18:10 -0700)
committer	GitHub <noreply@github.com>
	Fri, 1 Apr 2022 01:10:29 +0000 (01:10 +0000)
commit	467c95cffba499ef9c1fd542c5f3bb87cd385c5e
tree	378f8e850c4019908390dce1677626d9955fcb97	tree
parent	6b7f763081b98c83629c524a791300dce2919647	commit \| diff

api: Use std::optional for symbols in mk* functions. (#8495)

Makes all symbols in mk* functions optional.

18 files changed:

src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5.h		diff \| blob \| history
src/api/java/io/github/cvc5/Solver.java		diff \| blob \| history
src/api/java/jni/solver.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
test/unit/api/cpp/datatype_api_black.cpp		diff \| blob \| history
test/unit/api/cpp/parametric_datatype_black.cpp		diff \| blob \| history
test/unit/api/cpp/solver_black.cpp		diff \| blob \| history
test/unit/api/cpp/sort_black.cpp		diff \| blob \| history
test/unit/api/java/DatatypeTest.java		diff \| blob \| history
test/unit/api/java/ResultTest.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/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