ConstrGraph::assertCond

Synopses

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

bool
assertCond(
    varAffineInequality const& cond,
    std::string indent = "");

bool
assertCond(
    varID const& x,
    varID const& y,
    affineInequality const& ineq,
    std::string indent = "");

bool
assertCond(
    varID const& x,
    varID const& y,
    int a,
    int b,
    int c,
    std::string indent = "");

Created with MrDocs