Searched refs:EdgeVal (Results 1 – 4 of 4) sorted by relevance
224 int EdgeVal = (*E.getCurrent()).getValue(); in getEdgeAttributes() local225 return EdgeVal >= 0 ? "label = " + std::to_string(EdgeVal) in getEdgeAttributes()
1390 ConstantRange EdgeVal(CaseValue); in getEdgeValueLocal() local1398 EdgeVal = EdgeLatticeVal.getConstantRange(); in getEdgeValueLocal()1408 EdgesVals = EdgesVals.difference(EdgeVal); in getEdgeValueLocal()1410 EdgesVals = EdgesVals.unionWith(EdgeVal); in getEdgeValueLocal()
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()
1253 ConstantRange EdgeVal(i.getCaseValue()->getValue()); in getEdgeValueLocal() local1258 EdgesVals = EdgesVals.difference(EdgeVal); in getEdgeValueLocal()1260 EdgesVals = EdgesVals.unionWith(EdgeVal); in getEdgeValueLocal()