Lines Matching refs:other
26 * @param other the set we are cloning from.
28 public terminal_set(terminal_set other)
31 not_null(other);
32 _elements = (BitSet)other._elements.clone();
96 * @param other the set we are testing against.
98 public boolean is_subset_of(terminal_set other)
101 not_null(other);
103 /* make a copy of the other set */
104 BitSet copy_other = (BitSet)other._elements.clone();
110 return copy_other.equals(other._elements);
116 * @param other the set we are testing against.
118 public boolean is_superset_of(terminal_set other)
121 not_null(other);
122 return other.is_subset_of(this);
163 * @param other the set being added.
166 public boolean add(terminal_set other)
169 not_null(other);
174 /* or in the other set */
175 _elements.or(other._elements);
184 * @param other the other set in question.
186 public boolean intersects(terminal_set other)
189 not_null(other);
191 /* make a copy of the other set */
192 BitSet copy = (BitSet)other._elements.clone();
198 return !copy.equals(other._elements);
204 public boolean equals(terminal_set other)
206 if (other == null)
209 return _elements.equals(other._elements);
215 public boolean equals(Object other)
217 if (!(other instanceof terminal_set))
220 return equals((terminal_set)other);
