public class Taxi{


//Variabili d'istanza
private String nome;
private String zona;
private boolean libero;


//Costruttori
public Taxi(String nome){
this.nome=nome;
this.zona=null;
this.libero=true;
}


public Taxi(String nome,String zona,boolean libero){
this.nome=nome;
this.zona=zona;
this.libero=libero;
}


//Metodi set
public void setzona(String zona){
this.zona=zona;
}

public void setlibero(boolean libero){
this.libero=libero;
}


//Metodi get
public String getnome(){
return nome;
}

public String getzona(){
return zona;
}

public boolean getlibero(){
return libero;
}


//Predicato uguale
public boolean Uguale(Taxi ogg){
return ((this.nome.equals(ogg.nome))&&(this.zona.equals(ogg.zona))&&(this.libero==ogg.libero));
}

}