#include <partitionedAnalysis.h>
|
| | IntraPartitionDataflow (const IntraPartitionDataflow &that) |
| |
| | IntraPartitionDataflow (PartitionedAnalysis *parent) |
| |
| | ~IntraPartitionDataflow () |
| |
| PartitionedAnalysis * | getParent () const |
| |
| virtual IntraPartitionDataflow * | copy ()=0 |
| |
| virtual bool | runAnalysis (const Function &func, NodeState *fState, bool &splitPart, bool &joinPart, IntraPartitionDataflowCheckpoint *&outChkpt)=0 |
| |
| virtual bool | runAnalysisResume (const Function &func, NodeState *fState, IntraPartitionDataflowCheckpoint *chkpt, bool &splitPart, bool &joinPart, IntraPartitionDataflowCheckpoint *&outChkpt)=0 |
| |
| virtual void | initDFfromPartCond (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo, const std::vector< NodeFact * > &facts, printable *partitionCond) |
| |
| 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) |
| |
| virtual | ~IntraProceduralAnalysis () |
| |
| | Analysis (bool(*f)(CFGNode)=defaultFilter) |
| |
Definition at line 212 of file partitionedAnalysis.h.
| IntraPartitionDataflow::~IntraPartitionDataflow |
( |
) | |
|
|
inline |
| printable* IntraPartitionDataflow::partitionCond |
The documentation for this class was generated from the following file: