Lines Matching full:lattice
53 /// LatticeVal class - This class represents the different lattice values that
75 /// Val: This stores the current lattice value along with the Constant* for
191 /// on the lattice, and moving things to overdefined as fast as possible
