}
}
/** Makes a copy of the graph given to it and merges states in the pair supplied. */
public static DirectedSparseGraph mergeAndDeterminize(Graph model, OrigStatePair pair){
Graph original = (Graph)model.copy();
Vertex q = DeterministicDirectedSparseGraph.findVertex(JUConstants.LABEL, pair.getQ().getUserDatum(JUConstants.LABEL),original);
Vertex qDash = DeterministicDirectedSparseGraph.findVertex(JUConstants.LABEL, pair.getR().getUserDatum(JUConstants.LABEL),original);
pair = new OrigStatePair(q,qDash);
DirectedSparseGraph temp = merge((DirectedSparseGraph)original, pair);
OrigStatePair mergable = findMergablePair(temp);