projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 923c9a6) | patch
api: Refactor mkTerm for kinds with arity = 0. (#7699)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 25 Nov 2021 02:39:39 +0000 (18:39 -0800)
committerGitHub <noreply@github.com>
Thu, 25 Nov 2021 02:39:39 +0000 (02:39 +0000)
commit943dfc57d1bbc58046ad10bb4a8a48a8b654aeb5
treecd1d9df2bf1aaa16ccd9e8219f0115ff72e30ef8tree
parent923c9a6b864922dda739f46981664ec0611bec8dcommit | diff
api: Refactor mkTerm for kinds with arity = 0. (#7699)

This refactors mkTerm to allow creation of terms of kinds with arity = 0
via Op and/or empty children vector.
src/api/cpp/cvc5.cpp diff | blob | history
test/unit/api/cpp/solver_black.cpp diff | blob | history
test/unit/api/python/test_solver.py diff | blob | history