FiniteProductLattice::FiniteProductLattice

Copy constructor

Synopsis

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

FiniteProductLattice(FiniteProductLattice const& that);

Parameters

Name	Description
that	The object to copy construct from

Created with MrDocs