* 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

1 files changed, 1 insertions, 9 deletions

diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h
index 9fb5858b3..1bb71860c 100644
--- a/src/prop/cnf_stream.h
+++ b/src/prop/cnf_stream.h
@@ -22,20 +22,12 @@
 #ifndef __CVC4__CNF_STREAM_H
 #define __CVC4__CNF_STREAM_H
 
+
 #include "expr/node.h"
 #include "prop/sat.h"
 
 #include <ext/hash_map>
 
-namespace __gnu_cxx {
-template<>
-  struct hash<CVC4::Node> {
-    size_t operator()(const CVC4::Node& node) const {
-      return (size_t)node.hash();
-    }
-  };
-} /* __gnu_cxx namespace */
-
 namespace CVC4 {
 namespace prop {