Lines Matching defs:trees
49 private final List<GeneralSubtree> trees;
62 trees = new ArrayList<GeneralSubtree>();
66 trees = new ArrayList<GeneralSubtree>(source.trees);
87 return trees.get(index);
91 trees.remove(index);
98 trees.add(tree);
105 return trees.contains(tree);
109 return trees.size();
113 return trees.iterator();
116 public List<GeneralSubtree> trees() {
117 return trees;
128 String s = " GeneralSubtrees:\n" + trees.toString() + "\n";
161 return this.trees.equals(other.trees);
165 return trees.hashCode();
