// Last edited on 2000-09-01 18:37:35 by stolfi
// Intervalo de números reais  

public final class Intervalo
  { 
    public double min;
    public double max;
      // Um Intervalo i representa o conjunto de números reais 
      // entre "i.min" e "i.max" inclusive.  
      // O conjunto é vazio se e somente se "i.min > i.max".
      
    public Intervalo(double min, double max)
      { this.min = min; this.max = max; }
      
    public Intervalo() {} 
    
    public final boolean vazio()
      { return (min > max); }
  }