projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e69899) | patch
Simplifications to the Datatypes API (#4040)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 12 Mar 2020 03:45:03 +0000 (22:45 -0500)
committerGitHub <noreply@github.com>
Thu, 12 Mar 2020 03:45:03 +0000 (20:45 -0700)
commitf48b987d63fef3f698e02c9a48fdba33ffb1c564
tree90b29c6276f692582cb7040d32172fb802075f10tree
parent6e69899967624b04c98c3d291693bae6d32401f6commit | diff
Simplifications to the Datatypes API (#4040)

Removes DatatypeSelectorDecl and DatatypeDeclSelfSort. Add selectors is now inlined. A special case is added for the "self selector", instead of using a class as a dummy argument.

I updated the Python files, although would be helpful to double check this is correct.

Co-authored-by: makaimann <makaim@stanford.edu>
examples/api/datatypes-new.cpp diff | blob | history
examples/api/python/datatypes.py diff | blob | history
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
src/api/python/cvc4.pxd diff | blob | history
src/api/python/cvc4.pxi diff | blob | history
test/unit/api/datatype_api_black.h diff | blob | history
test/unit/api/solver_black.h diff | blob | history
test/unit/api/sort_black.h diff | blob | history
test/unit/api/term_black.h diff | blob | history