Searched defs:resultLattice (Results 1 – 1 of 1) sorted by relevance
107 AbstractSparseLattice *resultLattice = getLatticeElement(result); visitOperation() local 364 AbstractSparseLattice *resultLattice = getLatticeElement(result); getLatticeElements() local 376 const AbstractSparseLattice *resultLattice = getLatticeElementsFor() local