Searched defs:disjointVarSet (Results 1 – 4 of 4) sorted by relevance
145 disjointVarSet s1 s2 = disjointUFM (getUniqSet s1) (getUniqSet s2) function
142 disjointVarSet s1 s2 = disjointUFM (getUniqSet s1) (getUniqSet s2) function