Searched refs:EdgeVal (Results 1 – 2 of 2) sorted by relevance
224 int EdgeVal = (*E.getCurrent()).getValue(); in getEdgeAttributes() local225 return EdgeVal >= 0 ? "label = " + std::to_string(EdgeVal) in getEdgeAttributes()
1477 ConstantRange EdgeVal(CaseValue); in getEdgeValueLocal() local1485 EdgeVal = EdgeLatticeVal.getConstantRange(); in getEdgeValueLocal()1495 EdgesVals = EdgesVals.difference(EdgeVal); in getEdgeValueLocal()1497 EdgesVals = EdgesVals.unionWith(EdgeVal); in getEdgeValueLocal()