22 #ifndef _OPENCOG_HANDLE_SET_INDEX_H
23 #define _OPENCOG_HANDLE_SET_INDEX_H
45 std::map<Handle, const UnorderedHandleSet>
idx;
50 idx.insert(std::pair<Handle, const UnorderedHandleSet>(h, uset));
54 std::map<Handle, const UnorderedHandleSet>::const_iterator it;
56 if (it !=
idx.end())
return it->second;
69 void remove(bool (*)(
Handle));
75 #endif // _OPENCOG_HANDLE_SET_INDEX_H
std::map< Handle, const UnorderedHandleSet > idx
void insert(Handle h, const UnorderedHandleSet &uset)
std::unordered_set< Handle, handle_hash > UnorderedHandleSet
a hash that associates the handle to its unique identificator