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::NodeBuilder	[inline]
addNodes(ExplodedNode *N)	clang::ento::NodeBuilder	[inline]
begin()	clang::ento::NodeBuilder	[inline]
BranchNodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, const NodeBuilderContext &C, const CFGBlock *dstT, const CFGBlock *dstF)	clang::ento::BranchNodeBuilder	[inline]
BranchNodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, const NodeBuilderContext &C, const CFGBlock *dstT, const CFGBlock *dstF)	clang::ento::BranchNodeBuilder	[inline]
C	clang::ento::NodeBuilder	[protected]
checkResults()	clang::ento::NodeBuilder	[inline, protected, virtual]
end()	clang::ento::NodeBuilder	[inline]
Finalized	clang::ento::NodeBuilder	[protected]
finalizeResults()	clang::ento::NodeBuilder	[inline, protected, virtual]
Frontier	clang::ento::NodeBuilder	[protected]
generateNode(ProgramStateRef State, bool branch, ExplodedNode *Pred)	clang::ento::BranchNodeBuilder
clang::ento::NodeBuilder::generateNode(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred)	clang::ento::NodeBuilder	[inline]
generateNodeImpl(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred, bool MarkAsSink=false)	clang::ento::NodeBuilder	[protected]
generateSink(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred)	clang::ento::NodeBuilder	[inline]
getContext()	clang::ento::NodeBuilder	[inline]
getResults()	clang::ento::NodeBuilder	[inline]
getTargetBlock(bool branch) const	clang::ento::BranchNodeBuilder	[inline]
hasGeneratedNodes()	clang::ento::NodeBuilder	[inline]
HasGeneratedNodes	clang::ento::NodeBuilder	[protected]
hasNoSinksInFrontier()	clang::ento::NodeBuilder	[inline, protected]
isFeasible(bool branch)	clang::ento::BranchNodeBuilder	[inline]
iterator typedef	clang::ento::NodeBuilder
markInfeasible(bool branch)	clang::ento::BranchNodeBuilder	[inline]
NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, bool F=true)	clang::ento::NodeBuilder	[inline]
NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, bool F=true)	clang::ento::NodeBuilder	[inline]
takeNodes(const ExplodedNodeSet &S)	clang::ento::NodeBuilder	[inline]
takeNodes(ExplodedNode *N)	clang::ento::NodeBuilder	[inline]
~NodeBuilder()	clang::ento::NodeBuilder	[inline, virtual]