Searched refs:copy_other (Results 1 – 1 of 1) sorted by relevance
104 BitSet copy_other = (BitSet)other._elements.clone(); in is_subset_of() local107 copy_other.or(_elements); in is_subset_of()110 return copy_other.equals(other._elements); in is_subset_of()