Searched refs:overdefinedVal (Results 1 – 1 of 1) sorted by relevance
51 AbstractLatticeFunction(LatticeVal undefVal, LatticeVal overdefinedVal, in AbstractLatticeFunction() argument54 OverdefinedVal = overdefinedVal; in AbstractLatticeFunction()