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