IntraPartitionFWDataflow Member List

This is the complete list of members for IntraPartitionFWDataflow, including all inherited members.

Analysis(bool(*f)(CFGNode)=defaultFilter)	Analysis	inline
cont enum value	IntraPartitionFWDataflow
copy()=0	IntraPartitionDataflow	pure virtual
filter	Analysis
genInitState(const Function &func, const DataflowNode &n, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)=0	IntraProceduralDataflow	pure virtual
getInterAnalysis() const	IntraProceduralDataflow	inline
getParent() const	IntraPartitionDataflow	inline
initDFfromPartCond(const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo, const std::vector< NodeFact * > &facts, printable *partitionCond)	IntraPartitionDataflow	inlinevirtual
interAnalysis	IntraProceduralAnalysis	protected
IntraPartitionDataflow(const IntraPartitionDataflow &that)	IntraPartitionDataflow	inline
IntraPartitionDataflow(PartitionedAnalysis *parent)	IntraPartitionDataflow	inline
IntraPartitionFWDataflow(PartitionedAnalysis *parent)	IntraPartitionFWDataflow	inline
IntraPartitionFWDataflow(const IntraPartitionFWDataflow &that)	IntraPartitionFWDataflow	inline
normal enum value	IntraPartitionFWDataflow
noSplit enum value	IntraPartitionFWDataflow
parent	IntraPartitionDataflow	protected
partitionCond	IntraPartitionDataflow
partitionTranfer(const Function &func, NodeState *fState, const DataflowNode &n, NodeState *state, VirtualCFG::dataflow &dfIt, const std::vector< Lattice * > &dfInfoBelow, bool &splitPart, std::set< DataflowNode > &joinNodes, IntraPartitionDataflowCheckpoint *&outChkpt)	IntraPartitionFWDataflow
partitionTranferRet enum name	IntraPartitionFWDataflow
propagateFWStateToNextNode(const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode)	IntraPartitionFWDataflow
retFalse enum value	IntraPartitionFWDataflow
runAnalysis(const Function &func, NodeState *fState, bool analyzeDueToCallers, std::set< Function > calleesUpdated)	IntraPartitionFWDataflow	virtual
runAnalysis(const Function &func, NodeState *fState, bool &splitPart, bool &joinPart, IntraPartitionDataflowCheckpoint *&outChkpt)	IntraPartitionFWDataflow	virtual
IntraProceduralDataflow::runAnalysis(const Function &func, NodeState *state)	IntraProceduralDataflow	inlinevirtual
runAnalysisResume(const Function &func, NodeState *fState, IntraPartitionDataflowCheckpoint *chkpt, bool &splitPart, bool &joinPart, IntraPartitionDataflowCheckpoint *&outChkpt)	IntraPartitionFWDataflow	virtual
setInterAnalysis(InterProceduralDataflow *interDataflowAnalysis)	IntraProceduralDataflow	inline
setInterAnalysis(IntraProceduralDataflow *intraDFAnalysis)	IntraProceduralDataflow	inline
IntraProceduralAnalysis::setInterAnalysis(InterProceduralAnalysis *interAnalysis)	IntraProceduralAnalysis	inline
splitNew enum value	IntraPartitionFWDataflow
splitParent enum value	IntraPartitionFWDataflow
splitType enum name	IntraPartitionFWDataflow
transfer(const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo, splitType &splitAnalysis, std::vector< printable * > &splitConditions, bool &joinNode)=0	IntraPartitionFWDataflow	pure virtual
visited	IntraProceduralDataflow
~IntraPartitionDataflow()	IntraPartitionDataflow	inline
~IntraProceduralAnalysis()	IntraProceduralAnalysis	virtual