public static String preorderPrint(Tree T, Position v) { String s = v.element().toString(); // elements must implement toString Iterator children = T.children(v); while (children.hasNext()) s += " " + preorderPrint(T, (Position) children.next()); return s; }