ConstrGraph::OrAndWidenUpdate

Synopsis

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

bool
OrAndWidenUpdate(
    ConstrGraph* that,
    bool meet,
    bool OR,
    bool limitToThat,
    std::string indent = "");

Created with MrDocs