Definition at line 106 of file dataflow.h.
 
 | 
| 
virtual bool  | transfer (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)=0 | 
|   | 
| 
virtual boost::shared_ptr< IntraDFTransferVisitor >  | getTransferVisitor (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo) | 
|   | 
| 
virtual void  | genInitState (const Function &func, const DataflowNode &n, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)=0 | 
|   | 
| 
void  | setInterAnalysis (InterProceduralDataflow *interDataflowAnalysis) | 
|   | 
| 
void  | setInterAnalysis (IntraProceduralDataflow *intraDFAnalysis) | 
|   | 
| 
virtual bool  | runAnalysis (const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated)=0 | 
|   | 
| 
bool  | runAnalysis (const Function &func, NodeState *state) | 
|   | 
| 
InterProceduralDataflow *  | getInterAnalysis () const | 
|   | 
| 
void  | setInterAnalysis (InterProceduralAnalysis *interAnalysis) | 
|   | 
| 
  | Analysis (bool(*f)(CFGNode)=defaultFilter) | 
|   | 
The documentation for this class was generated from the following file: