ConstrGraph::transitiveClosureZ

Synopsis

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

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

Created with MrDocs