public void union(FlowSet otherFlow, FlowSet destFlow) {
    if (sameType(otherFlow) && sameType(destFlow)) {
      ArraySparseSet other = (ArraySparseSet) otherFlow;
      ArraySparseSet dest = (ArraySparseSet) destFlow;

      // For the special case that dest == other
      if (dest == other) {
        for (int i = 0; i < this.numElements; i++) dest.add(this.elements[i]);
      }

      // Else, force that dest starts with contents of this
      else {
        if (this != dest) copy(dest);

        for (int i = 0; i < other.numElements; i++) dest.add(other.elements[i]);
      }
    } else super.union(otherFlow, destFlow);
  }
  public void difference(FlowSet otherFlow, FlowSet destFlow) {
    if (sameType(otherFlow) && sameType(destFlow)) {
      ArraySparseSet other = (ArraySparseSet) otherFlow;
      ArraySparseSet dest = (ArraySparseSet) destFlow;
      ArraySparseSet workingSet;

      if (dest == other || dest == this) workingSet = new ArraySparseSet();
      else {
        workingSet = dest;
        workingSet.clear();
      }

      for (int i = 0; i < this.numElements; i++) {
        if (!other.contains(this.elements[i])) workingSet.add(this.elements[i]);
      }

      if (workingSet != dest) workingSet.copy(dest);
    } else super.difference(otherFlow, destFlow);
  }