IntMaxLattice::IntMaxLattice

Default constructor

Synopsis

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

IntMaxLattice();

Created with MrDocs