Lines Matching defs:trees
48 private final List<GeneralSubtree> trees;
61 trees = new ArrayList<>();
65 trees = new ArrayList<>(source.trees);
86 return trees.get(index);
90 trees.remove(index);
97 trees.add(tree);
104 return trees.contains(tree);
108 return trees.size();
112 return trees.iterator();
115 public List<GeneralSubtree> trees() {
116 return trees;
127 return " GeneralSubtrees:\n" + trees + '\n';
159 return this.trees.equals(other.trees);
163 return trees.hashCode();