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] |