!7

lib 1400172 // JGraphT core

import org.jgrapht.alg.util.UnionFind;

static UnionFind<S> union;

p-exp {
  union = new UnionFind(emptySet());
  union.addElement("a");
  printStats();
  union.addElement("b");
  printStats();
  union.union("a", "b");
  union.addElement("c");
  union.addElement("d");
  union.union("c", "d");
  printStats();
  union.union("b", "d");
  printStats();
}

svoid printStats() {
  print("Elements: " + union.size() + ", Sets: " + union.numberOfSets());
}