void (EdgeDirection direction, StatEdge edge, EdgeType edgetype) { Map<EdgeType, List<StatEdge>> mapEdges = direction == EdgeDirection.BACKWARD ? mapPredEdges : mapSuccEdges; Map<EdgeType, List<Statement>> mapStates = direction == EdgeDirection.BACKWARD ? mapPredStates : mapSuccStates; List<StatEdge> lst = mapEdges.get(edgetype); if (lst != null) { int index = lst.indexOf(edge); if (index >= 0) { lst.remove(index); mapStates.get(edgetype).remove(index); } } }