code: private BitSet toBitSet(int[] mapping) {
          BitSet hits = new BitSet();
          for (int v : mapping)
              hits.set(v);
          return hits;
      }
docs: Convert a mapping to a bitset.
  
  @param mapping an atom mapping
  @return a bit set of the mapped vertices (values in array)