diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-02-19 20:29:58 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-02-19 20:29:58 +0000 |
commit | ce0e796ad92f040fb75435bd7880bc28a60b0374 (patch) | |
tree | 00a390f0347a30978b482cbbb6e074c6dc5a99d2 /src/prop | |
parent | 34b455b1d74fdc06dd2f874fa2bc8d73127fbedf (diff) |
* 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
Diffstat (limited to 'src/prop')
-rw-r--r-- | src/prop/cnf_stream.h | 10 |
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 { |