ConstrGraph::ConstrGraph

/ which are assumed to correspond to just scalars

Synopses

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

ConstrGraph(
    ConstrGraph& that,
    bool initialized = true,
    std::string indent = "");

» more...

ConstrGraph(
    ConstrGraph const* that,
    bool initialized = true,
    std::string indent = "");

» more...

ConstrGraph(
    Function const& func,
    DataflowNode const& n,
    NodeState const& state,
    LiveDeadVarsAnalysis* ldva,
    std::map<std::pair<std::string, void*>, FiniteVarsExprsProductLattice*> const& divL,
    bool initialized = true,
    std::string indent = "");

» more...

ConstrGraph(
    Function const& func,
    DataflowNode const& n,
    NodeState const& state,
    LiveDeadVarsAnalysis* ldva,
    FiniteVarsExprsProductLattice* divL,
    bool initialized = true,
    std::string indent = "");

» more...

ConstrGraph(
    Function const& func,
    std::set<NodeDesc> const& nodes,
    NodeState const& state,
    LiveDeadVarsAnalysis* ldva,
    std::map<std::pair<std::string, void*>, FiniteVarsExprsProductLattice*> const& divL,
    bool initialized = true,
    std::string indent = "");

» more...

ConstrGraph(
    std::set<varAffineInequality> const& ineqs,
    Function const& func,
    DataflowNode const& n,
    NodeState const& state,
    LiveDeadVarsAnalysis* ldva,
    std::map<std::pair<std::string, void*>, FiniteVarsExprsProductLattice*> const& divL,
    std::string indent = "");

» more...

/ which are assumed to correspond to just scalars

ConstrGraph(
    std::set<varAffineInequality> const& ineqs,
    Function const& func,
    DataflowNode const& n,
    NodeState const& state,
    LiveDeadVarsAnalysis* ldva,
    FiniteVarsExprsProductLattice* divL,
    std::string indent = "");

» more...

Created with MrDocs