ConstrGraph::transitiveClosureY

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/lattice/ConstrGraph.h>

void
transitiveClosureY(
    varID const& x,
    varID const& y,
    bool& modified,
    int& numSteps,
    int& numInfers,
    bool& iterModified,
    std::string indent = "");

Created with MrDocs