[Dune-devel] [Dune-Commit] [Commit] dune-grid - 5488e7b: Make the index type a configurable template parameter
Christian Engwer
christian.engwer at uni-muenster.de
Fri Sep 26 09:36:51 CEST 2014
Hi Oli,
> commit 5488e7b30f5c529daf8232bf3c96068be159fabe
> Author: Oliver Sander <sander at igpm.rwth-aachen.de>
> Date: Wed Sep 24 14:53:16 2014 +0200
>
> Make the index type a configurable template parameter
>
> Previously the type was hardwired to 'int'. Int is still the default
> value for the new parameter, for backward-compatibility.
>
I'm a bit puzzled, wouldn't it be better (and thsi is also the way I
understood the proposal on the meeting) to use the same index type the
indexset is using?
Ciao
Christian
More information about the Dune-devel
mailing list