Searched defs:ProgramStateTrait (Results 1 – 1 of 1) sorted by relevance
51 template <typename T> struct ProgramStateTrait { struct52 typedef typename T::data_type data_type;53 static inline void *MakeVoidPtr(data_type D) { return (void*) D; } in MakeVoidPtr()54 static inline data_type MakeData(void *const* P) { in MakeData()