[Dune] Dune::IdSet

[Markus Blatt]

Hi,

On Mon, Feb 15, 2010 at 12:15:40PM +0100, Oliver Sander wrote:
> Global ids are unique across all processors.  Local ids are unique
> only on each processor.  Hence you may have two entities on two
> different processors with the same local id.  If your programm runs
> on a single processor there is no difference.
>

do we really have the guarantee, that global id equals local id for
sequential programs? Even if this is the case for the current
implementations, I doubt that this guarantee exists and make sense in
all cases.

Markus