clang API Documentation

clang::ento::NodeBuilderContext Member List
This is the complete list of members for clang::ento::NodeBuilderContext, including all inherited members.
Blockclang::ento::NodeBuilderContext
blockCount() const clang::ento::NodeBuilderContext [inline]
Engclang::ento::NodeBuilderContext
getBlock() const clang::ento::NodeBuilderContext [inline]
LCclang::ento::NodeBuilderContext
NodeBuilderContext(const CoreEngine &E, const CFGBlock *B, ExplodedNode *N)clang::ento::NodeBuilderContext [inline]