49 add union find data structure

manifests/algs4benchmark/META-INF/MANIFEST.MF

@@ -0,0 +1,4 @@
+Manifest-Version: 1.0
+Main-Class: org.sosy_lab.common.collect.union_find.benchmarking.Algs4Dat
+ asetBenchmark
+

manifests/find_new_to_old_benchmark_jar/META-INF/MANIFEST.MF

@@ -0,0 +1,4 @@
+Manifest-Version: 1.0
+Main-Class: org.sosy_lab.common.collect.union_find.benchmarking.FindNewT
+ oOldSingleSetBenchmark
+

manifests/find_old_to_new_benchmark/META-INF/MANIFEST.MF

@@ -0,0 +1,4 @@
+Manifest-Version: 1.0
+Main-Class: org.sosy_lab.common.collect.union_find.benchmarking.FindOldT
+ oNewSingleSetBenchmark
+

manifests/union_single_elements_benchmark/META-INF/MANIFEST.MF

@@ -0,0 +1,4 @@
+Manifest-Version: 1.0
+Main-Class: org.sosy_lab.common.collect.union_find.benchmarking.UnionSin
+ gleElementsIntoExistingSetBenchmark
+

src/org/sosy_lab/common/collect/PackageSanityTest.java

@@ -9,7 +9,10 @@
 package org.sosy_lab.common.collect;
 
 import com.google.common.testing.AbstractPackageSanityTests;
+import java.lang.reflect.Constructor;
+import java.lang.reflect.Method;
 import org.sosy_lab.common.Classes;
+import org.sosy_lab.common.collect.union_find.SortedTreeSetUnionFind;
 
 public class PackageSanityTest extends AbstractPackageSanityTests {
 
@@ -24,4 +27,19 @@ public class PackageSanityTest extends AbstractPackageSanityTests {
         OurSortedMap.class, OurSortedMap.EmptyImmutableOurSortedMap.of(), singletonMap);
     ignoreClasses(Classes.IS_GENERATED);
   }
+
+  {
+    setDefault(SortedTreeSetUnionFind.class, new SortedTreeSetUnionFind<>());
+    // ignoreClasses(Classes.IS_GENERATED);
+
+    try {
+      setDefault(Constructor.class, PackageSanityTest.class.getConstructor());
+      setDefault(Method.class, PackageSanityTest.class.getDeclaredMethod("defaultMethod"));
+    } catch (NoSuchMethodException e) {
+      throw new AssertionError(e);
+    }
+  }
+
+  @SuppressWarnings("unused")
+  private static void defaultMethod() {}
 }