Searched refs:ProgramStateTrait (Results 1 – 6 of 6) sorted by relevance
50 template <typename T> struct ProgramStateTrait { struct424 typename ProgramStateTrait<T>::data_type426 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex())); in get()430 typename ProgramStateTrait<T>::lookup_type433 return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key); in get()456 set(typename ProgramStateTrait<T>::key_type K,461 set(typename ProgramStateTrait<T>::key_type K,468 return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key); in contains()650 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C))); in set()658 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C))); in add()[all …]
42 struct ProgramStateTrait<Name> : public ProgramStatePartialTrait<Name##Ty> { \59 struct ProgramStateTrait<Type> \
990 struct ProgramStateTrait<ReplayWithoutInlining> :
124 struct ProgramStateTrait<iterator::IteratorSymbolMap>130 struct ProgramStateTrait<iterator::IteratorRegionMap>136 struct ProgramStateTrait<iterator::ContainerMap>
56 struct ProgramStateTrait<mpi::RequestMap>
3601 void *ProgramStateTrait<ReplayWithoutInlining>::GDMIndex() { in GDMIndex()