[Dune] Index to Entity map

[Kristof Cools]

Dear all,

I am completely new at Dune and after going through the available docs and
tutorials I have the following general question:

I understand that the concept of a mapper/indexset is central to dune-grid
and allows one to get an index (and corresponding attribute values) given
an entity. It there a reason that the inverse concept is not part of the
API? in other words, why is the set of entities merely iterable, as opposed
to indexable?

kind regards

Kristof
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20170424/e9d6fc23/attachment.htm>