clang API Documentation
| data_type typedef | clang::ento::ProgramStatePartialTrait< unsigned > | |
| MakeData(void *const *p) | clang::ento::ProgramStatePartialTrait< unsigned > | [inline, static] |
| MakeVoidPtr(data_type d) | clang::ento::ProgramStatePartialTrait< unsigned > | [inline, static] |