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;
}
}
}
}
public void changeNodo(Nodo n)
{
this.dato = n.getDato();
izquierda = n.getIzquierda();
derecha = n.getDerecha();
this.tipo = n.getTipo();
visitado = n.isVisitado();
this.Index = n.Index;
}