diff options
author | Tim King <taking@cs.nyu.edu> | 2018-08-13 09:25:26 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-13 09:25:26 -0700 |
commit | 957b02e415f60e725da569f1d7c0e2d1276cb3fa (patch) | |
tree | e588e05f4c1fb2320f7902618f49d188d043517d /src/expr/attribute.h | |
parent | b62055f1204a0846eef728b2b62e5fc77df4048c (diff) |
Removing support for T* and const T* attributes. (#2297)
* Removing support for T* and const T* attributes. These are unused.
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 =========================================== |