Searched refs:untrackedVal (Results 1 – 1 of 1) sorted by relevance
53 LatticeVal untrackedVal) { in AbstractLatticeFunction() argument56 UntrackedVal = untrackedVal; in AbstractLatticeFunction()