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