Searched refs:redundantVars (Results 1 – 8 of 8) sorted by relevance
347 List<Type> redundantVars = inferencevars.diff(minVars); in min() local357 .filter(b -> !redundantVars.contains(b)) in min()377 List<Type> unreachableVars = redundantVars.diff(List.from(rv.equiv)); in min()
348 List<Type> redundantVars = inferencevars.diff(minVars); in min() local358 .filter(b -> !redundantVars.contains(b)) in min()380 List<Type> unreachableVars = redundantVars.diff(List.from(rv.equiv)); in min()