Lines Matching full:lattice
78 /// Val: This stores the current lattice value along with the Constant* for
189 /// mergeIn - Merge the specified lattice value into this one, updating this
387 /// getValueInBlock - This is the query interface to determine the lattice
391 /// getValueOnEdge - This is the query interface to determine the lattice
514 // lattice value to overdefined, so that cycles will terminate and be
