1*6dbdd20aSAndroid Build Coastguard Worker// Copyright (C) 2023 The Android Open Source Project 2*6dbdd20aSAndroid Build Coastguard Worker// 3*6dbdd20aSAndroid Build Coastguard Worker// Licensed under the Apache License, Version 2.0 (the "License"); 4*6dbdd20aSAndroid Build Coastguard Worker// you may not use this file except in compliance with the License. 5*6dbdd20aSAndroid Build Coastguard Worker// You may obtain a copy of the License at 6*6dbdd20aSAndroid Build Coastguard Worker// 7*6dbdd20aSAndroid Build Coastguard Worker// http://www.apache.org/licenses/LICENSE-2.0 8*6dbdd20aSAndroid Build Coastguard Worker// 9*6dbdd20aSAndroid Build Coastguard Worker// Unless required by applicable law or agreed to in writing, software 10*6dbdd20aSAndroid Build Coastguard Worker// distributed under the License is distributed on an "AS IS" BASIS, 11*6dbdd20aSAndroid Build Coastguard Worker// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12*6dbdd20aSAndroid Build Coastguard Worker// See the License for the specific language governing permissions and 13*6dbdd20aSAndroid Build Coastguard Worker// limitations under the License. 14*6dbdd20aSAndroid Build Coastguard Worker 15*6dbdd20aSAndroid Build Coastguard Workerexport function union<T>(xs: Set<T>, ys: Set<T>): Set<T> { 16*6dbdd20aSAndroid Build Coastguard Worker if (xs.size === 0) { 17*6dbdd20aSAndroid Build Coastguard Worker return ys; 18*6dbdd20aSAndroid Build Coastguard Worker } 19*6dbdd20aSAndroid Build Coastguard Worker if (ys.size === 0) { 20*6dbdd20aSAndroid Build Coastguard Worker return xs; 21*6dbdd20aSAndroid Build Coastguard Worker } 22*6dbdd20aSAndroid Build Coastguard Worker const result = new Set<T>(); 23*6dbdd20aSAndroid Build Coastguard Worker for (const x of xs) { 24*6dbdd20aSAndroid Build Coastguard Worker result.add(x); 25*6dbdd20aSAndroid Build Coastguard Worker } 26*6dbdd20aSAndroid Build Coastguard Worker for (const y of ys) { 27*6dbdd20aSAndroid Build Coastguard Worker result.add(y); 28*6dbdd20aSAndroid Build Coastguard Worker } 29*6dbdd20aSAndroid Build Coastguard Worker return result; 30*6dbdd20aSAndroid Build Coastguard Worker} 31*6dbdd20aSAndroid Build Coastguard Worker 32*6dbdd20aSAndroid Build Coastguard Workerexport function intersect<T>(xs: Set<T>, ys: Set<T>): Set<T> { 33*6dbdd20aSAndroid Build Coastguard Worker if (xs.size === 0) { 34*6dbdd20aSAndroid Build Coastguard Worker return xs; 35*6dbdd20aSAndroid Build Coastguard Worker } 36*6dbdd20aSAndroid Build Coastguard Worker if (ys.size === 0) { 37*6dbdd20aSAndroid Build Coastguard Worker return ys; 38*6dbdd20aSAndroid Build Coastguard Worker } 39*6dbdd20aSAndroid Build Coastguard Worker const result = new Set<T>(); 40*6dbdd20aSAndroid Build Coastguard Worker for (const x of xs) { 41*6dbdd20aSAndroid Build Coastguard Worker if (ys.has(x)) { 42*6dbdd20aSAndroid Build Coastguard Worker result.add(x); 43*6dbdd20aSAndroid Build Coastguard Worker } 44*6dbdd20aSAndroid Build Coastguard Worker } 45*6dbdd20aSAndroid Build Coastguard Worker return result; 46*6dbdd20aSAndroid Build Coastguard Worker} 47*6dbdd20aSAndroid Build Coastguard Worker 48*6dbdd20aSAndroid Build Coastguard Workerexport function isSetEqual<T>(xs: Set<T>, ys: Set<T>): boolean { 49*6dbdd20aSAndroid Build Coastguard Worker if (xs === ys) { 50*6dbdd20aSAndroid Build Coastguard Worker return true; 51*6dbdd20aSAndroid Build Coastguard Worker } 52*6dbdd20aSAndroid Build Coastguard Worker if (xs.size !== ys.size) { 53*6dbdd20aSAndroid Build Coastguard Worker return false; 54*6dbdd20aSAndroid Build Coastguard Worker } 55*6dbdd20aSAndroid Build Coastguard Worker for (const x of xs) { 56*6dbdd20aSAndroid Build Coastguard Worker if (!ys.has(x)) { 57*6dbdd20aSAndroid Build Coastguard Worker return false; 58*6dbdd20aSAndroid Build Coastguard Worker } 59*6dbdd20aSAndroid Build Coastguard Worker } 60*6dbdd20aSAndroid Build Coastguard Worker return true; 61*6dbdd20aSAndroid Build Coastguard Worker} 62