Searched refs:EdgeVal (Results 1 – 1 of 1) sorted by relevance
979 ConstantRange EdgeVal(i.getCaseValue()->getValue()); in getEdgeValueLocal() local984 EdgesVals = EdgesVals.difference(EdgeVal); in getEdgeValueLocal()986 EdgesVals = EdgesVals.unionWith(EdgeVal); in getEdgeValueLocal()