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