* Attribute infrastructure -- static design. Documentation is coming.
authorMorgan Deters <mdeters@gmail.com>
Fri, 19 Feb 2010 20:29:58 +0000 (20:29 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 19 Feb 2010 20:29:58 +0000 (20:29 +0000)
commitce0e796ad92f040fb75435bd7880bc28a60b0374
tree00a390f0347a30978b482cbbb6e074c6dc5a99d2
parent34b455b1d74fdc06dd2f874fa2bc8d73127fbedf
* Attribute infrastructure -- static design.  Documentation is coming.
  See test/unit/expr/node_white.h for use examples, including how to
  define new attribute kinds.

Also:

* fixes to test infrastructure
* minor changes to code formatting throughout
* attribute tests in test/unit/expr/node_white.h
* fixes to NodeManagerScope ordering
* use NodeValue::getKind() to properly deal with UNDEFINED_KIND
  (removing compiler warning)
* ExprManager: add proper NodeManagerScope to public-facing member
  functions
* store variable names and types in attributes
* SoftNode is a placeholder, not a real implementation
24 files changed:
config/cvc4.m4
src/expr/Makefile.am
src/expr/attr_type.h [deleted file]
src/expr/attr_var_name.h [deleted file]
src/expr/attribute.cpp [new file with mode: 0644]
src/expr/attribute.h [new file with mode: 0644]
src/expr/expr_manager.cpp
src/expr/expr_manager.h
src/expr/node.h
src/expr/node_attribute.h [deleted file]
src/expr/node_builder.h
src/expr/node_manager.cpp
src/expr/node_manager.h
src/expr/node_value.cpp
src/expr/node_value.h
src/expr/soft_node.h [new file with mode: 0644]
src/expr/type.h
src/parser/antlr_parser.cpp
src/prop/cnf_stream.h
src/smt/smt_engine.cpp
test/unit/Makefile.am
test/unit/Makefile.tests
test/unit/expr/node_black.h
test/unit/expr/node_white.h