IntraPartitionDataflow::initDFfromPartCond

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/analysis/partitionedAnalysis.h>

virtual
void
initDFfromPartCond(
    Function const& func,
    DataflowNode const& n,
    NodeState& state,
    std::vector<Lattice*> const& dfInfo,
    std::vector<NodeFact*> const& facts,
    printable* partitionCond);

Created with MrDocs