Searched defs:ProgramStateTrait (Results 1 – 2 of 2) sorted by relevance
54 template <typename T> struct ProgramStateTrait { struct55 typedef typename T::data_type data_type;56 static inline void *MakeVoidPtr(data_type D) { return (void*) D; } in MakeVoidPtr()57 static inline data_type MakeData(void *const* P) { in MakeData()
187 template<> struct ProgramStateTrait<SymbolSet> struct189 static void *GDMIndex() { static int index = 0; return &index; } in GDMIndex()