projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9673382) | patch
Adding the intermediary TypeNode to represent (and separate) the Types at the Node...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Mon, 26 Apr 2010 21:37:34 +0000 (21:37 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Mon, 26 Apr 2010 21:37:34 +0000 (21:37 +0000)
commit3ee48833fd8cffe897a05a986c08a30d9de57213
treedb56dd28b96b12414a763ee9104adc8389225ca5tree
parent96733823eadf9ff566a177cf74e19d1712c48e4bcommit | diff
Adding the intermediary TypeNode to represent (and separate) the Types at the Node level.
19 files changed:
src/expr/Makefile.am diff | blob | history
src/expr/attribute.cpp diff | blob | history
src/expr/attribute.h diff | blob | history
src/expr/expr_manager_template.cpp diff | blob | history
src/expr/node.h diff | blob | history
src/expr/node_builder.h diff | blob | history
src/expr/node_manager.h diff | blob | history
src/expr/node_value.h diff | blob | history
src/expr/type.cpp diff | blob | history
src/expr/type.h diff | blob | history
src/expr/type_node.cpp [new file with mode: 0644] blob
src/expr/type_node.h [new file with mode: 0644] blob
test/unit/expr/attribute_black.h diff | blob | history
test/unit/expr/attribute_white.h diff | blob | history
test/unit/expr/node_black.h diff | blob | history
test/unit/expr/node_builder_black.h diff | blob | history
test/unit/expr/node_manager_black.h diff | blob | history
test/unit/theory/theory_black.h diff | blob | history
test/unit/theory/theory_uf_white.h diff | blob | history