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	inlineprotectedvirtual
end()	clang::ento::NodeBuilder	inline
Finalized	clang::ento::NodeBuilder	protected
finalizeResults()	clang::ento::NodeBuilder	inlineprotectedvirtual
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	protected
hasGeneratedNodes()	clang::ento::NodeBuilder	inline
hasNoSinksInFrontier()	clang::ento::NodeBuilder	inlineprotected
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()=default	clang::ento::NodeBuilder	virtual