Searched refs:LatticeFunc (Results 1 – 1 of 1) sorted by relevance
115 AbstractLatticeFunction<LatticeKey, LatticeVal> *LatticeFunc; variable138 : LatticeFunc(Lattice) {} in SparseSolver()152 return I != ValueState.end() ? I->second : LatticeFunc->getUntrackedVal(); in getExistingValueState()233 if (LatticeFunc->IsUntrackedValue(Key)) in getValueState()234 return LatticeFunc->getUntrackedVal(); in getValueState()235 LatticeVal LV = LatticeFunc->ComputeLatticeVal(Key); in getValueState()238 if (LV == LatticeFunc->getUntrackedVal()) in getValueState()307 if (BCValue == LatticeFunc->getOverdefinedVal() || in getFeasibleSuccessors()308 BCValue == LatticeFunc->getUntrackedVal()) { in getFeasibleSuccessors()315 if (BCValue == LatticeFunc->getUndefVal()) in getFeasibleSuccessors()[all …]