/** Constructor for objects of class Risolutore */
public Risolutore(Griglia griglia, String nome, int livello) {
super();
vivo = true;
loop = true;
risolto = false;
log = "";
this.griglia = griglia.getClone();
this.livello = livello;
this.nome = nome + "." + livello;
}
/** Ritorna la griglia */
public Griglia getGriglia() {
return griglia.getClone();
}