private void enviarNodo(Nodo aux)
{
value = "";
if (aux != null)
{
if (!aux.isVisitado())
{
if (aux.getTipo().CompareTo("transicion") == 0)
{
value = aux.Index + " -> " + aux.getIzquierda().Index + "[label=\"" + aux.getDato() + "\"];\n";
grafo.Append(value);
aux.visitar();
enviarNodo(aux.getIzquierda());
}
else if (aux.getTipo().CompareTo("transiciones") == 0)
{
value = aux.Index + " -> " + aux.getIzquierda().Index + "[label=\"" + aux.getDato() + "\"];\n";
grafo.Append(value);
value = aux.Index + " -> " + aux.getDerecha().Index + "[label=\"" + aux.getDato() + "\"];\n";
grafo.Append(value);
aux.visitar();
enviarNodo(aux.getIzquierda());
enviarNodo(aux.getDerecha());
}
else if (aux.getTipo().CompareTo("asignable") == 0)
{
aux.visitar();
lastNode = aux;
}
}
}
}