157158159160161162163164165166167
markAsDeleted(newEdge); newEdges.add(newEdge); graph.addEdge(newEdge); } else { newEdges.remove(newEdge); graph.removeEdge(newEdge); markAsSame(newEdge); newEdges.add(newEdge); graph.addEdge(newEdge); } }