[Dune] [#545] size method of GridView gives wrong numbers (Attachment added)

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

A new Flyspray task has been opened.  Details are below. 

User who did this - Bernd Flemisch (Bernd) 

Attached to Project - Dune
Summary - size method of GridView gives wrong numbers
Task Type - Bug Report
Category - Grid
Status - Unconfirmed
Assigned To - 
Operating System - Unspecified / All
Severity - Low
Priority - Normal
Reported Version - SVN
Due in Version - Undecided
Due Date - Undecided
Details - A Grid provides GridViews associated with certain PartitionTypes via, e.g. 
Partition< pitype >::LeafGridView leafView ()

The iterators seem to work fine. However, the size methods always give the number of the All_Partition view, regardless of the specified PartitionType.

This has some quite inconvenient consequences. For example the mappers constructed from these gridviews also inherit the wrong size methods.

I attach a corresponding test file and grid.

One or more files have been attached.

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

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.