28   public terminal_set(terminal_set other)   in terminal_set()  argument
31       not_null(other);  in terminal_set()
32       _elements = (BitSet)other._elements.clone();  in terminal_set()
98   public boolean is_subset_of(terminal_set other)  in is_subset_of()  argument
101       not_null(other);  in is_subset_of()
104       BitSet copy_other = (BitSet)other._elements.clone();  in is_subset_of()
110       return copy_other.equals(other._elements);  in is_subset_of()
118   public boolean is_superset_of(terminal_set other)  in is_superset_of()  argument
121       not_null(other);  in is_superset_of()
122       return other.is_subset_of(this);  in is_superset_of()
166   public boolean add(terminal_set other)  in add()  argument
169       not_null(other);  in add()
175       _elements.or(other._elements);  in add()
186    public boolean intersects(terminal_set other)  in intersects()  argument
189        not_null(other);  in intersects()
192        BitSet copy = (BitSet)other._elements.clone();  in intersects()
198        return !copy.equals(other._elements);  in intersects()
204   public boolean equals(terminal_set other)  in equals()  argument
206       if (other == null)   in equals()
209     return _elements.equals(other._elements);  in equals()
215   public boolean equals(Object other)  in equals()  argument
217       if (!(other instanceof terminal_set))  in equals()
220     return equals((terminal_set)other);  in equals()