ConstrGraph::OrAndWidenUpdate_YinThatNotThis

Synopsis

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

void
OrAndWidenUpdate_YinThatNotThis(
    bool OR,
    bool limitToThat,
    std::map<varID, std::map<varID, affineInequality>>::iterator& itThatX,
    std::map<varID, affineInequality>::iterator& itThatY,
    std::map<varID, affineInequality>& additionsToThis,
    bool& modified,
    std::string indent = "");

Created with MrDocs