projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac8b46f) | patch
Added the capability to construct expressions by passing the operator instead of...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 29 Apr 2010 23:42:41 +0000 (23:42 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 29 Apr 2010 23:42:41 +0000 (23:42 +0000)
commit349131957e91150c24a9c69f5e1f04e34494b0c6
tree8012c2475dde1f1177f693643fb1a07e89c29538tree
parentac8b46fe3b5256e387da724b7c3abfb59d25531ecommit | diff
Added the capability to construct expressions by passing the operator instead of the kind, i.e.

Expr op = ..."f"...
em.mkExpr(op, children);

Operator kinds are automatically associated with the enclosing expression kind in the DSL and generated.
17 files changed:
src/expr/builtin_kinds diff | blob | history
src/expr/expr_manager_template.cpp diff | blob | history
src/expr/expr_manager_template.h diff | blob | history
src/expr/metakind_template.h diff | blob | history
src/expr/mkkind diff | blob | history
src/expr/mkmetakind diff | blob | history
src/expr/node_manager.h diff | blob | history
src/expr/type.cpp diff | blob | history
src/expr/type.h diff | blob | history
src/expr/type_node.cpp diff | blob | history
src/expr/type_node.h diff | blob | history
src/parser/parser.h diff | blob | history
src/parser/smt/Smt.g diff | blob | history
src/theory/bv/kinds diff | blob | history
src/theory/uf/kinds diff | blob | history
src/util/bitvector.cpp diff | blob | history
src/util/bitvector.h diff | blob | history