clang::ento::NodeBuilderWithSinks Member List

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

addNodes(const ExplodedNodeSet &S)	clang::ento::NodeBuilder	[inline]
addNodes(ExplodedNode *N)	clang::ento::NodeBuilder	[inline]
begin()	clang::ento::NodeBuilder	[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, ExplodedNode *Pred, const ProgramPointTag *Tag=nullptr)	clang::ento::NodeBuilderWithSinks	[inline]
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(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag=nullptr)	clang::ento::NodeBuilderWithSinks	[inline]
clang::ento::NodeBuilder::generateSink(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred)	clang::ento::NodeBuilder	[inline]
getContext()	clang::ento::NodeBuilder	[inline]
getResults()	clang::ento::NodeBuilder	[inline]
getSinks() const	clang::ento::NodeBuilderWithSinks	[inline]
hasGeneratedNodes()	clang::ento::NodeBuilder	[inline]
HasGeneratedNodes	clang::ento::NodeBuilder	[protected]
hasNoSinksInFrontier()	clang::ento::NodeBuilder	[inline, protected]
iterator typedef	clang::ento::NodeBuilder
Location	clang::ento::NodeBuilderWithSinks	[protected]
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]
NodeBuilderWithSinks(ExplodedNode *Pred, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, ProgramPoint &L)	clang::ento::NodeBuilderWithSinks	[inline]
sinksGenerated	clang::ento::NodeBuilderWithSinks	[protected]
takeNodes(const ExplodedNodeSet &S)	clang::ento::NodeBuilder	[inline]
takeNodes(ExplodedNode *N)	clang::ento::NodeBuilder	[inline]
~NodeBuilder()	clang::ento::NodeBuilder	[inline, virtual]