Skip to content

FiniteVariablesProductLattice::FiniteVariablesProductLattice

Constructors

Synopses

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

Copy constructor

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

Created with MrDocs