InfiniteProductLattice::InfiniteProductLattice

Default constructor

Synopsis

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

InfiniteProductLattice();

Created with MrDocs