19 public Tree link(Tree t) {
23 if(this.root <= t.root) {
32 Tree nt = new Tree(root, tmp_v);
33 if(nt.v_trees == null) {
34 nt.v_trees = new Vector();
36 nt.v_trees.insertElementAt(tmp, 0);
41 public class TaggedTree {
50 public TaggedTree(int degree,
56 public Vector getChildren() {
57 Vector rst = new Vector();
58 Vector v = tree.v_trees;
59 int d = this.degree-1;
61 for(int i = 0; i < v.size(); i++) {
62 rst.addElement(new TaggedTree(d, (Tree)v.elementAt(i)));