projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8c92d8) | patch
Add missing datatype functions to new API (#3930)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 11 Mar 2020 21:05:59 +0000 (16:05 -0500)
committerGitHub <noreply@github.com>
Wed, 11 Mar 2020 21:05:59 +0000 (14:05 -0700)
commite47fa1305536d0e2d3c16ef2225d2b8534d5aa39
tree319935e2463e20c73408b9e4a729b3d410789001tree
parentc8c92d80d933f264aa02841ee5ebe689fc91680acommit | diff
Add missing datatype functions to new API (#3930)

This is in preparation for migrating the parser to use the Term-level API for datatypes.

Notably, this adds the function mkDatatypeSorts for making mutually recursive datatypes. I've added a unit test that demonstrates this method (which mirrors the Expr-level datatype API).
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
test/unit/api/datatype_api_black.h diff | blob | history