graph.getGraphLayoutCache().edit(editMap);
this.lastHighlightedEdge = edge;
}*/
private void highlightEdges(ReachabilityPlaceModel place) {
ReachabilityPortModel port = (ReachabilityPortModel) place.getChildAt(0);
Set<ReachabilityEdgeModel> edges = port.getEdges();
Iterator<ReachabilityEdgeModel> iterEdges = edges.iterator();
Map<ReachabilityEdgeModel, AttributeMap> editMap = new HashMap<ReachabilityEdgeModel, AttributeMap>();
while (iterEdges.hasNext()) {
ReachabilityEdgeModel edge = iterEdges.next();
edge.setOutgoing(false);