diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-03-25 20:20:29 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-03-25 20:20:29 +0000 |
commit | 56837b30117fda75298138cdd052e0c5ba201b86 (patch) | |
tree | b96d684f9926ea49c2b39e6193a8925f95d0287d /src/expr/node.h | |
parent | e3e0b625862ba23ba97eb72fcdd3811448ad855a (diff) |
Adding comments to NodeManager
Minor name changes for cleanup and hash function templates
Diffstat (limited to 'src/expr/node.h')
-rw-r--r-- | src/expr/node.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/expr/node.h b/src/expr/node.h index f7cef5a4c..ebe06ead2 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -288,7 +288,7 @@ public: * @return true if this node has the requested attribute */ template <class AttrKind> - inline bool hasAttribute(const AttrKind& attKind, + inline bool getAttribute(const AttrKind& attKind, typename AttrKind::value_type& value) const; /** @@ -410,7 +410,7 @@ inline std::ostream& operator<<(std::ostream& out, const Node& node) { namespace CVC4 { // for hash_maps, hash_sets.. -struct NodeHashFcn { +struct NodeHashFunction { size_t operator()(const CVC4::Node& node) const { return (size_t) node.getId(); } @@ -443,12 +443,12 @@ hasAttribute(const AttrKind&) const { template <bool ref_count> template <class AttrKind> -inline bool NodeTemplate<ref_count>::hasAttribute(const AttrKind&, +inline bool NodeTemplate<ref_count>::getAttribute(const AttrKind&, typename AttrKind::value_type& ret) const { Assert( NodeManager::currentNM() != NULL, "There is no current CVC4::NodeManager associated to this thread.\n" "Perhaps a public-facing function is missing a NodeManagerScope ?" ); - return NodeManager::currentNM()->hasAttribute(*this, AttrKind(), ret); + return NodeManager::currentNM()->getAttribute(*this, AttrKind(), ret); } template <bool ref_count> |