projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 223d35d) | patch
Migrate more datatype methods to the Node level (#3443)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 6 Nov 2019 17:11:28 +0000 (11:11 -0600)
committerAndres Noetzli <andres.noetzli@gmail.com>
Wed, 6 Nov 2019 17:11:28 +0000 (09:11 -0800)
commitbef9df667e2788cab327b0c8c6590ba833297670
tree15ccb8eaa756c0d4f08582194db6c61e23d47a51tree
parent223d35d897f570aec7599d25c20041bc5306ccb6commit | diff
Migrate more datatype methods to the Node level (#3443)

This adds node-level interfaces for a few missing functions that will be necessary to have a Node-level API for datatypes.
src/expr/datatype.cpp diff | blob | history
src/expr/type_matcher.cpp diff | blob | history
src/expr/type_matcher.h diff | blob | history
src/expr/type_node.cpp diff | blob | history
src/expr/type_node.h diff | blob | history
src/theory/datatypes/theory_datatypes_type_rules.h diff | blob | history