Searched refs:resultLattice (Results 1 – 1 of 1) sorted by relevance
93 AbstractSparseLattice *resultLattice = getLatticeElement(result); in visitOperation() local94 allAtFixpoint &= resultLattice->isAtFixpoint(); in visitOperation()95 resultLattices.push_back(resultLattice); in visitOperation()