clang::ento::NodeBuilder Member List

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

addNodes(const ExplodedNodeSet &S)	clang::ento::NodeBuilder	inline
addNodes(ExplodedNode *N)	clang::ento::NodeBuilder	inline
C	clang::ento::NodeBuilder	protected
Frontier	clang::ento::NodeBuilder	protected
generateNode(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred, bool MarkAsSink=false)	clang::ento::NodeBuilder
generateNode(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)	clang::ento::NodeBuilder	inline
generateSink(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred)	clang::ento::NodeBuilder	inline
generateSink(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)	clang::ento::NodeBuilder	inline
getContext() const	clang::ento::NodeBuilder	inline
getResults() const	clang::ento::NodeBuilder	inline
HasGeneratedNodes	clang::ento::NodeBuilder	protected
hasGeneratedNodes() const	clang::ento::NodeBuilder	inline
NodeBuilder(ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)	clang::ento::NodeBuilder	inline
NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)	clang::ento::NodeBuilder	inline
NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)	clang::ento::NodeBuilder	inline
takeNodes(const ExplodedNodeSet &S)	clang::ento::NodeBuilder	inline
takeNodes(ExplodedNode *N)	clang::ento::NodeBuilder	inline