* @param reject the name of the reject state, to be added to the graph.
* @return true if any transitions have been added
*/
public static boolean completeGraph(DirectedSparseGraph g, String reject)
{
DirectedSparseVertex rejectVertex = new DirectedSparseVertex();
boolean transitionsToBeAdded = false;// whether and new transitions have to be added.
rejectVertex.addUserDatum(JUConstants.ACCEPTED, false, UserData.SHARED);
rejectVertex.addUserDatum(JUConstants.LABEL, reject, UserData.SHARED);
// first pass - computing an alphabet
Set<String> alphabet = computeAlphabet(g);
// second pass - checking if any transitions need to be added.