#515 Move method 'contains' from IndexSet to GridView
Metadata
| Property | Value |
|---|---|
| Reported by | Carsten Gräser (graeser@math.fu-berlin.de) |
| Reported at | Mar 5, 2009 21:44 |
| Type | Feature Request |
| Version | Git (pre2.4) [autotools] |
| Operating System | Unspecified / All |
| Last edited by | Martin Nolte (nolte@mathematik.uni-freiburg.de) |
| Last edited at | Feb 28, 2011 14:57 |
| Closed by | Martin Nolte (nolte@mathematik.uni-freiburg.de) |
| Closed at | Feb 28, 2011 14:57 |
| Closed in version | Unknown |
| Resolution | Implemented |
| Comment |
Description
GridViews should have a method contains for entities. Currently you must use gridview.indexSet().contains(e). But 'is contained' is a property of a gridview which has nothing to do with indices.
The 'set E of entities' in the description of IndexSets is the set of entities in the underlying gridview and thus 'contains' should be moved to it.
This also is consistent with the conceptual switch from IndexSets to GridViews.