[Dune] [#515] Move method 'contains' from IndexSet to GridView

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

The following task has a new comment added:

FS#515 - Move method 'contains' from IndexSet to GridView
User who did this - Carsten Gräser (Carsten)

----------
I think for level GridViews it's quite clear which entities are contained. For the leaf GridView it should really be the leaf entities. Following part 1 of the dune paper these are all subentities of leaf elements. The latter are just those element having no children.

So I suggest that each GridView has a specific set of elements defining it and the contained entities are these elements and all subentities of them. In general this also includes some copies of entities and thus more entities than the iterator reaches. For level and leaf GridViews this definition coincides with the definition which entities are contained in the IndexSet. So the GridView could just forward contains to the IndexSet currently.

In my opinion the IndexSets 'contains' method should also remain for some time to allow code using IndexSets to get this information. But conceptually (and following the slim interface rule) it should finally be removed and users should switch to GridViews.

----------

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=515#comment820

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.