Remove decorator from python API (#8505)
authorGereon Kremer <gkremer@cs.stanford.edu>
Fri, 1 Apr 2022 16:58:00 +0000 (18:58 +0200)
committerGitHub <noreply@github.com>
Fri, 1 Apr 2022 16:58:00 +0000 (16:58 +0000)
commita7779de22d9cbc31a8a9fb9e52200d02a152a2bd
tree4415565b081593d8745cdd5b71ace7f39b683bcf
parentf02847cdee29a810dbf8e25af1502458fcbdd562
Remove decorator from python API (#8505)

This PR removes the expand_list_arg decorator from the python API. It was used to allow calling a function f(x, *args) with a list as second argument and automatically expand the list into *args. While it merely allows for calling f(x, l) instead of f(x, *l), it adds considerable complexity to the code and documentation. Thus, following the Zen of python (have only one way to do it) we remove this decorator. This is also consistent with the pythonic API, were we made the same decision.
14 files changed:
examples/api/python/bitvectors.py
examples/api/python/bitvectors_and_arrays.py
examples/api/python/combination.py
examples/api/python/datatypes.py
examples/api/python/relations.py
examples/api/python/sygus-grammar.py
src/api/python/cvc5.pxi
test/api/python/issue5074.py
test/api/python/issue6111.py
test/api/python/proj-issue306.py
test/unit/api/python/test_datatype_api.py
test/unit/api/python/test_solver.py
test/unit/api/python/test_sort.py
test/unit/api/python/test_term.py