projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7eff8fb) | patch
Some additions to the datatypes python API (#6640)
authoryoni206 <yoni206@users.noreply.github.com>
Tue, 1 Jun 2021 21:24:43 +0000 (14:24 -0700)
committerGitHub <noreply@github.com>
Tue, 1 Jun 2021 21:24:43 +0000 (21:24 +0000)
commit172573dba45f7d231ec06a3a3992f41cf794b75e
treec2c5b893f0555c68f8051831d70efcf6b8e2928ftree
parent7eff8fb5145752b100a9d04c834973e794d9a860commit | diff
Some additions to the datatypes python API (#6640)

This commit makes the following additions, in order to sync the python API with the cpp API.

1. adding `getName` functions to datatypes related classes
2. allowing `mkDatatypeSorts` with 1 or 2 arguments (previously allowed only 2).
3. In case there is a second argument to `mkDatatypeSorts`, we make sure it is a set.
4. Corresponding changes to the tests.
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/python/unit/api/test_datatype_api.py diff | blob | history
test/python/unit/api/test_solver.py diff | blob | history