Albero Binario , metodo ricorsivo per verificare i valori delle foglie più profonde

[andbin]

Intanto ci riprovo nuovamente :-)

public static boolean verifica(AlberoBinario a){
  if(a==null) return false;
   if(a.sinistro()==null && a.destro()==null) return a.val()>=0;
    else{
      boolean b = verifica(a.destro());
       if(!b) return verifica(a.sinistro());
    }
   return true;
}

Sì, così con il return true; finale è funzionalmente corretto. Se b è true, non fai il sinistro e restituisce true. Se b è false, fai il sinistro e restituisce il suo risultato, qualunque sia. E' una forma di OR con comportamento detto short-circuit.

Ma è un po' contorto (e non mi piace granché). Conosci l'operatore di OR "logico"? Se conosci && (il AND "logico") ... dovresti.