{
Set<String> labels = new HashSet<String>();labels.add(input);
DeterministicVertex targetVert = (DeterministicVertex)s.transitionMatrix.get(toMerge).get(input);
DirectedSparseEdge newEdge = new DirectedSparseEdge(vert,targetVert);
newEdge.addUserDatum(JUConstants.LABEL, labels, UserData.CLONE);
g.removeEdges(targetVert.getInEdges());g.addEdge(newEdge);
}
usedInputs.addAll(inputsFrom_toMerge);
}
}