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