Searched refs:ProgramStateTrait (Results 1 – 6 of 6) sorted by relevance
52 template <typename T> struct ProgramStateTrait { struct383 add(typename ProgramStateTrait<T>::key_type K) const;386 typename ProgramStateTrait<T>::data_type388 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex())); in get()392 typename ProgramStateTrait<T>::lookup_type393 get(typename ProgramStateTrait<T>::key_type key) const { in get()394 void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex()); in get()395 return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key); in get()399 typename ProgramStateTrait<T>::context_type get_context() const;403 remove(typename ProgramStateTrait<T>::key_type K) const;[all …]
41 struct ProgramStateTrait<Name> \56 struct ProgramStateTrait<Type> \
943 struct ProgramStateTrait<ReplayWithoutInlining> :
128 struct ProgramStateTrait<iterator::IteratorSymbolMap>134 struct ProgramStateTrait<iterator::IteratorRegionMap>140 struct ProgramStateTrait<iterator::ContainerMap>
56 struct ProgramStateTrait<mpi::RequestMap>
3281 void *ProgramStateTrait<ReplayWithoutInlining>::GDMIndex() { in GDMIndex()