diff options
Diffstat (limited to 'src/expr/attribute.h')
-rw-r--r-- | src/expr/attribute.h | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/src/expr/attribute.h b/src/expr/attribute.h index f564b36f8..aafe168ea 100644 --- a/src/expr/attribute.h +++ b/src/expr/attribute.h @@ -88,8 +88,6 @@ public: AttrHash<TypeNode> d_types; /** Underlying hash table for string-valued attributes */ AttrHash<std::string> d_strings; - /** Underlying hash table for pointer-valued attributes */ - AttrHash<void*> d_ptrs; /** * Get a particular attribute on a particular node. @@ -274,32 +272,6 @@ struct getTable<std::string, false> { } }; -/** Access the "d_ptrs" member of AttributeManager. */ -template <class T> -struct getTable<T*, false> { - static const AttrTableId id = AttrTablePointer; - typedef AttrHash<void*> table_type; - static inline table_type& get(AttributeManager& am) { - return am.d_ptrs; - } - static inline const table_type& get(const AttributeManager& am) { - return am.d_ptrs; - } -}; - -/** Access the "d_ptrs" member of AttributeManager. */ -template <class T> -struct getTable<const T*, false> { - static const AttrTableId id = AttrTablePointer; - typedef AttrHash<void*> table_type; - static inline table_type& get(AttributeManager& am) { - return am.d_ptrs; - } - static inline const table_type& get(const AttributeManager& am) { - return am.d_ptrs; - } -}; - }/* CVC4::expr::attr namespace */ // ATTRIBUTE MANAGER IMPLEMENTATIONS =========================================== |