FiniteProductLattice::FiniteProductLattice

Construct from vector

Synopsis

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

FiniteProductLattice(std::vector<Lattice*> const& lattices);

Parameters

Name	Description
lattices	The object to copy construct from

Created with MrDocs