Ma ... quello è c++ ... non Java!

E comunque invece di isLeaf(t) dovrebbe essere un metodo di istanza di BinTree, ovvero t.isLeaf() che è più object-oriented.