projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98e426d) | patch
Add API interface for specialized constructor term (#4817)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 4 Aug 2020 19:01:47 +0000 (14:01 -0500)
committerGitHub <noreply@github.com>
Tue, 4 Aug 2020 19:01:47 +0000 (14:01 -0500)
commit0cbcf1f835f74c304e2ac3884143b7df9c7f75b6
tree8d43293a850582e9b70aa59f55a9089a60931c32tree
parent98e426dae609dcc94b0c5bde9d804332493e9175commit | diff
Add API interface for specialized constructor term (#4817)

This is an interface to get the instantiated parametric datatype constructor operator to apply when the type of this operator cannot be inferred without a cast.

This is required for eliminating the Expr-level datatype and calls to ExprManager from the parsers.
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
src/parser/parser.cpp diff | blob | history
test/unit/api/datatype_api_black.h diff | blob | history