Searched refs:ProgramStateTrait (Results 1 – 5 of 5) sorted by relevance
51 template <typename T> struct ProgramStateTrait { struct423 add(typename ProgramStateTrait<T>::key_type K) const;426 typename ProgramStateTrait<T>::data_type428 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex())); in get()432 typename ProgramStateTrait<T>::lookup_type433 get(typename ProgramStateTrait<T>::key_type key) const { in get()434 void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex()); in get()435 return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key); in get()439 typename ProgramStateTrait<T>::context_type get_context() const;443 remove(typename ProgramStateTrait<T>::key_type K) const;[all …]
42 struct ProgramStateTrait<Name> : public ProgramStatePartialTrait<Name##Ty> { \59 struct ProgramStateTrait<Type> \
1003 struct ProgramStateTrait<ReplayWithoutInlining> :
56 struct ProgramStateTrait<mpi::RequestMap>
3960 void *ProgramStateTrait<ReplayWithoutInlining>::GDMIndex() { in GDMIndex()