clang API Documentation
Block | clang::ento::NodeBuilderContext | |
blockCount() const | clang::ento::NodeBuilderContext | [inline] |
Eng | clang::ento::NodeBuilderContext | |
getBlock() const | clang::ento::NodeBuilderContext | [inline] |
LC | clang::ento::NodeBuilderContext | |
NodeBuilderContext(const CoreEngine &E, const CFGBlock *B, ExplodedNode *N) | clang::ento::NodeBuilderContext | [inline] |