GlobalIdSet: Can global ids be exchanged via MPI?
The documentation for
IdSet only requires
< operators and a
operator<< (to write to ostreams) for the
For the global id set, only would probably want to communicate ids with other processors (otherwise a local id would be enough), however from the type requirements it is not clear that this is actually allowed.