Searched refs:ProgramStateTrait (Results 1 – 7 of 7) sorted by relevance
54 template <typename T> struct ProgramStateTrait { struct369 ProgramStateRef add(typename ProgramStateTrait<T>::key_type K) const;372 typename ProgramStateTrait<T>::data_type374 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex())); in get()378 typename ProgramStateTrait<T>::lookup_type379 get(typename ProgramStateTrait<T>::key_type key) const { in get()380 void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex()); in get()381 return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key); in get()385 typename ProgramStateTrait<T>::context_type get_context() const;389 ProgramStateRef remove(typename ProgramStateTrait<T>::key_type K) const;[all …]
33 template<> struct ProgramStateTrait<TaintMap>
30 struct ProgramStateTrait<DynamicTypeMap>
48 struct ProgramStateTrait<Name> \
648 struct ProgramStateTrait<ReplayWithoutInlining> :
58 struct ProgramStateTrait<mpi::RequestMap>
187 template<> struct ProgramStateTrait<SymbolSet> struct