3#ifndef DUNE_FUNCTIONS_FUNCTIONSPACEBASES_CONCEPTS_HH
4#define DUNE_FUNCTIONS_FUNCTIONSPACEBASES_CONCEPTS_HH
9#include <dune/functions/common/utility.hh>
11#include <dune/functions/functionspacebases/nodes.hh>
24 auto require(C&& c) ->
decltype(
34 auto require(C&& c) ->
decltype(
43 template<
class C,
class I>
44 auto require(C&& c, I&& i) ->
decltype(
54 auto require(
const N& node) ->
decltype(
55 requireType<typename N::size_type>(),
56 requireConvertible<typename N::size_type>(node.size()),
57 requireConvertible<typename N::size_type>(node.localIndex(std::declval<typename N::size_type>())),
58 requireConvertible<typename N::size_type>(node.treeIndex()),
59 requireBaseOf<BasisNodeMixin, N>()
66template<
class Gr
idView>
67struct LeafBasisNode :
Refines<BasisNode>
70 auto require(
const N& node) ->
decltype(
71 requireType<typename N::Element>(),
72 requireType<typename N::FiniteElement>(),
73 requireConvertible<typename N::Element>(node.element()),
74 requireConvertible<const typename N::FiniteElement&>(node.finiteElement()),
75 requireSameType<typename N::Element, typename GridView::template Codim<0>::Entity>(),
76 requireBaseOf<Dune::Functions::LeafBasisNode, N>()
81template<
class Gr
idView>
85template<
class Gr
idView>
86struct PowerBasisNode :
Refines<BasisNode>
89 auto require(
const N& node) ->
decltype(
90 requireBaseOf<Dune::Functions::PowerBasisNode<typename N::ChildType, N::CHILDREN>, N>(),
91 requireConcept<BasisTree<GridView>,
typename N::ChildType>()
97template<
class Gr
idView>
98struct CompositeBasisNode :
Refines<BasisNode>
101 auto require(
const N& node) ->
decltype(
102 requireBaseOf<ExpandTuple<Dune::Functions::template CompositeBasisNode, typename N::ChildTypes>, N>(),
103 requireConceptForTupleEntries<BasisTree<GridView>,
typename N::ChildTypes>()
109template<
class Gr
idView>
110struct BasisTree :
Refines<BasisNode>
113 auto require(
const N& node) ->
decltype(
114 requireConcept<typename std::conditional< N::isLeaf, LeafBasisNode<GridView>, BasisNode>::type, N>(),
115 requireConcept<
typename std::conditional< N::isPower, PowerBasisNode<GridView>, BasisNode>::type, N>(),
116 requireConcept<typename std::conditional< N::isComposite, CompositeBasisNode<GridView>, BasisNode>::type, N>()
122template<
class PreBasis>
126 auto require(
const I& indexSet) ->
decltype(
127 requireType<typename I::size_type>(),
128 requireType<typename I::MultiIndex>(),
129 requireType<typename I::PreBasis>(),
130 requireType<typename I::Node>(),
131 requireSameType<typename I::PreBasis, PreBasis>(),
132 const_cast<I&
>(indexSet).bind(std::declval<typename I::Node>()),
133 const_cast<I&
>(indexSet).unbind(),
134 requireConvertible<typename I::size_type>(indexSet.size()),
135 requireConvertible<typename std::vector<typename I::MultiIndex>::iterator>(
136 indexSet.indices(std::declval<
typename std::vector<typename I::MultiIndex>::iterator>()))
142template<
class Gr
idView>
146 auto require(
const PB& preBasis) ->
decltype(
147 requireType<typename PB::GridView>(),
148 requireType<typename PB::size_type>(),
149 requireType<typename PB::MultiIndex>(),
150 requireType<typename PB::SizePrefix>(),
151 requireType<typename PB::Node>(),
152 requireType<typename PB::IndexSet>(),
153 requireSameType<typename PB::GridView, GridView>(),
154 const_cast<PB&
>(preBasis).initializeIndices(),
155 requireConvertible<typename PB::GridView>(preBasis.gridView()),
156 requireConvertible<typename PB::Node>(preBasis.makeNode()),
157 requireConvertible<typename PB::IndexSet>(preBasis.makeIndexSet()),
158 requireConvertible<typename PB::size_type>(preBasis.size()),
159 requireConvertible<typename PB::size_type>(preBasis.size(std::declval<typename PB::SizePrefix>())),
160 requireConvertible<typename PB::size_type>(preBasis.dimension()),
161 requireConvertible<typename PB::size_type>(preBasis.maxNodeSize()),
162 requireSameType<decltype(const_cast<PB&>(preBasis).update(preBasis.gridView())),
void>(),
163 requireConcept<BasisTree<typename PB::GridView>>(preBasis.makeNode()),
164 requireConcept<NodeIndexSet<PB>>(preBasis.makeIndexSet())
171template<
class GlobalBasis>
175 auto require(
const V& localView) ->
decltype(
176 requireType<typename V::size_type>(),
177 requireType<typename V::MultiIndex>(),
178 requireType<typename V::GlobalBasis>(),
179 requireType<typename V::Tree>(),
180 requireType<typename V::GridView>(),
181 requireType<typename V::Element>(),
182 requireSameType<typename V::GlobalBasis, GlobalBasis>(),
183 requireSameType<typename V::GridView, typename GlobalBasis::GridView>(),
184 requireSameType<typename V::size_type, typename GlobalBasis::size_type>(),
185 requireSameType<typename V::Element, typename GlobalBasis::GridView::template Codim<0>::Entity>(),
186 const_cast<V&
>(localView).bind(std::declval<typename V::Element>()),
187 const_cast<V&
>(localView).unbind(),
188 requireConvertible<typename V::Tree>(localView.tree()),
189 requireConvertible<typename V::size_type>(localView.size()),
190 requireConvertible<typename V::MultiIndex>(localView.index(std::declval<typename V::size_type>())),
191 requireConvertible<typename V::size_type>(localView.maxSize()),
192 requireConvertible<typename V::GlobalBasis>(localView.globalBasis()),
193 requireConcept<BasisTree<typename V::GridView>>(localView.tree()),
201template<
class Gr
idView>
205 auto require(
const B& basis) ->
decltype(
206 requireType<typename B::GridView>(),
207 requireType<typename B::size_type>(),
208 requireType<typename B::MultiIndex>(),
209 requireType<typename B::SizePrefix>(),
210 requireType<typename B::LocalView>(),
211 requireSameType<typename B::GridView, GridView>(),
212 requireConvertible<typename B::GridView>(basis.gridView()),
213 requireConvertible<typename B::LocalView>(basis.localView()),
214 requireConvertible<typename B::size_type>(basis.size()),
215 requireConvertible<typename B::size_type>(basis.size(std::declval<typename B::SizePrefix>())),
216 requireConvertible<typename B::size_type>(basis.dimension()),
217 requireSameType<decltype(const_cast<B&>(basis).update(basis.gridView())),
void>(),
218 requireConcept<LocalView<B>>(basis.localView())
Infrastructure for concepts.
Namespace for concepts.
Definition: concept.hh:32
Dune namespace.
Definition: alignedallocator.hh:14
Base class for refined concepts.
Definition: concept.hh:52