Inconsistent usage of IndexType
We should use an IndexType
from the grid's index set if the index set in question has a clear relation to the grid's indices. These indices could probably use the alias GlobalIndexType
. We should not use the index type of the grid's index set for
- local indices (could use an alias
LocalIndexType
) - grid index set unrelated indices