// Last edited on 2001-05-15 22:18:11 by mc726

import Grafo;
import NodoTrecho;
import Trecho;
import Ponto;

public class NodoTrechoFim extends NodoTrecho
  // Nodo que representa o fim de um trecho
  // Sucessores: inicios dos trechos com conversao permitida.
  { 
    public NodoTrechoFim(Grafo gr, Trecho tr) 
      { this.grafo = gr;
        this.trecho = tr;
      }
    
    public final void inicializa()
      { Esquina dest = trecho.dest();
        Trecho[] ts = dest.saem();
        int nt = ts.length;
        
        Nodo[] pr = new Nodo[nt];
        double[] ct = new double[nt];

        for (int i = 0; i < nt; i++)
          { pr[i] = grafo.trIni[ts[i].id()];
            ct[i] = dest.vcusto(trecho,ts[i]);
          }

        this.Prox = pr;
        this.Custo = ct;

        this.Posicao = trecho.destPos();
      }
    
    public final String toString()
      { return "(tr" + trecho.id() + ":f)"; }
      
  }