5#ifndef DUNE_GRID_COMMON_GRIDVIEW_HH
6#define DUNE_GRID_COMMON_GRIDVIEW_HH
10#include <dune/common/std/type_traits.hh>
11#include <dune/common/iteratorrange.hh>
12#include <dune/common/parallel/future.hh>
14#include <dune/geometry/type.hh>
22 template<
int,
int,
class,
class >
23 class GridDefaultImplementation;
64 template<
class ViewTraits >
83 typedef typename Traits :: Grid
Grid;
132 template< PartitionIteratorType pit >
182 return impl().grid();
193 return impl().indexSet();
199 return impl().size( codim );
205 return impl().size( type );
214 return impl().isConforming();
229 template<
class EntityType>
232 return impl().indexSet().contains(e);
239 return impl().template begin<cd>();
246 return impl().template end<cd>();
250 template<
int cd , PartitionIteratorType pitype >
251 typename Codim< cd > :: template Partition< pitype > :: Iterator
254 return impl().template begin<cd,pitype>();
258 template<
int cd, PartitionIteratorType pitype >
259 typename Codim< cd > :: template Partition< pitype > :: Iterator
262 return impl().template end<cd,pitype>();
269 return impl().ibegin(entity);
276 return impl().iend(entity);
282 return impl().comm();
288 return impl().overlapSize(codim);
294 return impl().ghostSize(codim);
298 template<
class DataHandleImp,
class DataType >
303 typedef decltype(
impl().communicate(data,iftype,dir) ) CommFuture;
305 std::integral_constant<
bool, std::is_same< CommFuture, void > :: value >() );
324 template<
class DataHandleImp,
class DataType >
329 return impl().communicate(data,iftype,dir);
336 std::cerr <<
"WARNING: GridView::communicate of '" <<
337 typeid(
Implementation ).name() <<
"' still returns void. Please update implementation to new interface returning a future object!" << std::endl;
349 template<
class DataHandleImp,
class DataType >
354 impl().communicate(data,iftype,dir);
362 template <
class T,
class R>
static std::true_type testSignature(R (T::*)()
const);
365 static decltype(testSignature(&T::isConforming)) test(std::nullptr_t);
368 static std::false_type test(...);
371 using type =
decltype(test<M>(
nullptr));
374 [[deprecated(
"GridView implementation is missing a method 'bool isConforming() const'")]]
Describes the parallel communication interface class for MessageBuffers and DataHandles.
CommunicationDirection
Define a type for communication direction parameter.
Definition: gridenums.hh:170
InterfaceType
Parameter to be used for the communication functions.
Definition: gridenums.hh:86
const IndexSet & indexSet() const
obtain the index set
Definition: common/gridview.hh:191
Traits::Grid Grid
type of the grid
Definition: common/gridview.hh:83
ThisType & operator=(const ThisType &other)
assignment operator
Definition: common/gridview.hh:172
Codim< cd >::Iterator begin() const
obtain begin iterator for this view
Definition: common/gridview.hh:237
const Grid & grid() const
obtain a const reference to the underlying hierarchic grid
Definition: common/gridview.hh:180
Codim< cd >::Iterator end() const
obtain end iterator for this view
Definition: common/gridview.hh:244
Communication CollectiveCommunication
Definition: common/gridview.hh:112
Implementation & impl()
access to the underlying implementation
Definition: common/gridview.hh:313
Traits::template Codim< cd >::Iterator Iterator
type of iterator returned by the grid view
Definition: common/gridview.hh:120
static constexpr bool conforming
Export if this grid view is guaranteed conforming.
Definition: common/gridview.hh:142
Traits::template Codim< cd >::template Partition< pit >::Iterator Iterator
iterator over a given codim and partition type
Definition: common/gridview.hh:137
ViewTraits Traits
Traits class.
Definition: common/gridview.hh:80
Traits::IntersectionIterator IntersectionIterator
type of the intersection iterator
Definition: common/gridview.hh:92
const Implementation & impl() const
access to the underlying implementation
Definition: common/gridview.hh:320
IntersectionIterator ibegin(const typename Codim< 0 > ::Entity &entity) const
obtain begin intersection iterator with respect to this view
Definition: common/gridview.hh:267
Traits::IndexSet IndexSet
type of the index set
Definition: common/gridview.hh:86
Implementation impl_
Definition: common/gridview.hh:377
int overlapSize(int codim) const
Return size of the overlap region for a given codim on the grid view.
Definition: common/gridview.hh:286
int size(const GeometryType &type) const
obtain number of entities with a given geometry type
Definition: common/gridview.hh:203
void printMessage() const
Definition: common/gridview.hh:334
decltype(test< M >(nullptr)) type
Definition: common/gridview.hh:371
ViewTraits::GridViewImp GridViewImp
Definition: common/gridview.hh:77
int size(int codim) const
obtain number of entities in a given codimension
Definition: common/gridview.hh:197
auto communicate(CommDataHandleIF< DataHandleImp, DataType > &data, InterfaceType iftype, CommunicationDirection dir) const
Communicate data on this view.
Definition: common/gridview.hh:299
auto communicate(CommDataHandleIF< DataHandleImp, DataType > &data, InterfaceType iftype, CommunicationDirection dir, std::integral_constant< bool, false >) const
Communicate data on this view.
Definition: common/gridview.hh:325
bool valid() const
Definition: common/gridview.hh:345
bool isConformingDefaultImplementation() const
Definition: common/gridview.hh:375
const Communication & comm() const
obtain communication object
Definition: common/gridview.hh:280
static constexpr int dimension
The dimension of the grid.
Definition: common/gridview.hh:148
typename T ::Communication Communication_t
Definition: common/gridview.hh:96
ViewTraits::GridViewImp Implementation
type of underlying implementation
Definition: common/gridview.hh:75
GridView(const Implementation &imp)
constructor (engine concept)
Definition: common/gridview.hh:161
Codim< cd >::template Partition< pitype >::Iterator begin() const
obtain begin iterator for this view
Definition: common/gridview.hh:252
bool ready()
Definition: common/gridview.hh:340
Traits::Intersection Intersection
type of the intersection
Definition: common/gridview.hh:89
IntersectionIterator iend(const typename Codim< 0 > ::Entity &entity) const
obtain end intersection iterator with respect to this view
Definition: common/gridview.hh:274
Traits::template Codim< cd >::Entity Entity
type of corresponding entity
Definition: common/gridview.hh:123
Traits::template Codim< cd >::LocalGeometry LocalGeometry
type of the implementation for local geometries
Definition: common/gridview.hh:129
Grid::ctype ctype
type used for coordinates in grid
Definition: common/gridview.hh:145
auto communicate(CommDataHandleIF< DataHandleImp, DataType > &data, InterfaceType iftype, CommunicationDirection dir, std::integral_constant< bool, true >) const
Communicate data on this view.
Definition: common/gridview.hh:350
static constexpr int dimensionworld
The dimension of the world the grid lives in.
Definition: common/gridview.hh:151
Codim< cd >::template Partition< pitype >::Iterator end() const
obtain end iterator for this view
Definition: common/gridview.hh:260
bool contains(const EntityType &e) const
Return true if the given entity is contained in this grid view.
Definition: common/gridview.hh:230
detected_or_fallback_t< DeprecatedCollectiveCommunication_t, Communication_t, Traits > Communication
A type that is a model of Dune::Communication. It provides a portable way for communication on the se...
Definition: common/gridview.hh:108
typename T ::CollectiveCommunication DeprecatedCollectiveCommunication_t
Definition: common/gridview.hh:98
void wait()
Definition: common/gridview.hh:344
bool isConforming() const
return true if current state of grid view represents a conforming grid
Definition: common/gridview.hh:209
GridView(const ThisType &other)
Copy constructor.
Definition: common/gridview.hh:167
Traits::template Codim< cd >::Geometry Geometry
type of the geometry implementation
Definition: common/gridview.hh:126
int ghostSize(int codim) const
Return size of the ghost region for a given codim on the grid view.
Definition: common/gridview.hh:292
Include standard header files.
Definition: agrid.hh:60
@ conforming
Output conforming data.
Definition: common.hh:73
GeometryType
Type representing VTK's entity geometry types.
Definition: common.hh:132
CommDataHandleIF describes the features of a data handle for communication in parallel runs using the...
Definition: datahandleif.hh:78
Mesh entities of codimension 0 ("elements") allow to visit all intersections with "neighboring" eleme...
Definition: common/intersectioniterator.hh:83
static constexpr int dimension
The dimension of the grid.
Definition: common/grid.hh:387
static constexpr int dimensionworld
The dimension of the world the grid lives in.
Definition: common/grid.hh:390
ct ctype
Define type used for coordinates in grid module.
Definition: common/grid.hh:532
Grid view abstract base class.
Definition: common/gridview.hh:66
A struct that collects all associated types of one implementation from the Traits class.
Definition: common/gridview.hh:118
Define types needed to iterate over entities of a given partition type.
Definition: common/gridview.hh:134
Definition: common/gridview.hh:333
Definition: common/gridview.hh:360