New functions for checking multiple sets

src/org/rascalmpl/library/Set.rsc

@@ -513,3 +513,29 @@ public set[&T] union(set[set[&T]] sets) = {*s | s <- sets};
 
 @synopsis{Compute the Jaccard similarity between two sets.}
 real jaccard(set[value] x, set[value] y) = (1. * size(x & y)) / size(x + y);
+
+
+@synopsis{Calculate the intersection of a set of sets.}
+public set[&T] intersection(set[set[&T]] sets)  = (getFirstFrom(sets) | it & elem | elem <- sets);
+
+
+@synopsis{Checks if all sets in the set are pairwise disjoined.}
+@examples{
+```rascal-shell
+import Set;
+isDisjoined({{1,2}, {3,4}, {5,6}});
+isDisjoined({{1,2}, {1,4}, {5,6}});
+isDisjoined({{1,2}, {1,4}, {1,6}});
+```
+}
+public bool isDisjoined(set[set[&T]] sets) {
+  list[set[&T]] setsAsList = toList(sets);
+
+  for (elem1 <- [0..size(setsAsList)-1]) {
+    for (elem2 <- [elem1+1..size(setsAsList)]) {
+      if (setsAsList[elem1] & setsAsList[elem2] != {}) return false;
+    }
+  }
+
+  return true;
+}