clang  6.0.0svn
clang::ento::BranchNodeBuilder Member List

This is the complete list of members for clang::ento::BranchNodeBuilder, including all inherited members.

addNodes(const ExplodedNodeSet &S)clang::ento::NodeBuilderinline
addNodes(ExplodedNode *N)clang::ento::NodeBuilderinline
begin()clang::ento::NodeBuilderinline
BranchNodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, const NodeBuilderContext &C, const CFGBlock *dstT, const CFGBlock *dstF)clang::ento::BranchNodeBuilderinline
BranchNodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, const NodeBuilderContext &C, const CFGBlock *dstT, const CFGBlock *dstF)clang::ento::BranchNodeBuilderinline
Cclang::ento::NodeBuilderprotected
checkResults()clang::ento::NodeBuilderinlineprotectedvirtual
end()clang::ento::NodeBuilderinline
Finalizedclang::ento::NodeBuilderprotected
finalizeResults()clang::ento::NodeBuilderinlineprotectedvirtual
Frontierclang::ento::NodeBuilderprotected
generateNode(ProgramStateRef State, bool branch, ExplodedNode *Pred)clang::ento::BranchNodeBuilder
clang::ento::NodeBuilder::generateNode(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred)clang::ento::NodeBuilderinline
generateNodeImpl(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred, bool MarkAsSink=false)clang::ento::NodeBuilderprotected
generateSink(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred)clang::ento::NodeBuilderinline
getContext()clang::ento::NodeBuilderinline
getResults()clang::ento::NodeBuilderinline
getTargetBlock(bool branch) constclang::ento::BranchNodeBuilderinline
hasGeneratedNodes()clang::ento::NodeBuilderinline
HasGeneratedNodesclang::ento::NodeBuilderprotected
hasNoSinksInFrontier()clang::ento::NodeBuilderinlineprotected
isFeasible(bool branch)clang::ento::BranchNodeBuilderinline
iterator typedefclang::ento::NodeBuilder
markInfeasible(bool branch)clang::ento::BranchNodeBuilderinline
NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, bool F=true)clang::ento::NodeBuilderinline
NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, bool F=true)clang::ento::NodeBuilderinline
takeNodes(const ExplodedNodeSet &S)clang::ento::NodeBuilderinline
takeNodes(ExplodedNode *N)clang::ento::NodeBuilderinline
~NodeBuilder()clang::ento::NodeBuilderinlinevirtual