// Last edited on 2000-08-30 16:12:29 by stolfi
// Condicoes para terminar enumeração na busca de caminho ótimo

import TipoDeServico;
import Nodo;

public abstract class CriterioDeParada
  {
    public abstract boolean aceitavel(Nodo u);
      // Considera o nodo "u" que deve ser o próximo
      // nodo em ordem crescente de distância do início
      // da enumeração.  Devolve TRUE se ele satisfaz
      // o critério para retorno como resultado.
      // Pode ter efeitos colaterais (como contar o nó).

    public abstract boolean satisfeito();
      // TRUE se o critério de parada já foi satisfeito.
  }