/** 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();
 }