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