InfiniteVariablesProductLattice::InfiniteVariablesProductLattice

Constructors

Synopses

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

Construct from FiniteVariablesProductLattice

InfiniteVariablesProductLattice(FiniteVariablesProductLattice const& that);

» more...

InfiniteVariablesProductLattice(
    bool includeScalars,
    bool includeArrays,
    Lattice* perVarLattice,
    std::map<varID, Lattice*> constVarLattices,
    Lattice* allVarLattice,
    Function const& func,
    DataflowNode const& n,
    NodeState const& state);

» more...

Created with MrDocs