\n
Go to the documentation of this file. \n
\n
\n
\n
\n
\n-
7 #ifndef DUNE_FUNCTIONS_COMMON_LOCAL_FUNCTION_HH \n-
8 #define DUNE_FUNCTIONS_COMMON_LOCAL_FUNCTION_HH \n+
7 #ifndef DUNE_FUNCTIONS_COMMON_DIFFERENTIABLE_FUNCTION_HH \n+
8 #define DUNE_FUNCTIONS_COMMON_DIFFERENTIABLE_FUNCTION_HH \n
\n
\n
\n
12 #include <dune/common/typeutilities.hh> \n
\n-
\n-
\n-
\n-
\n-
\n-
\n+
\n+
\n+
\n+
\n+
\n+
\n
\n-
\n-
\n-
\n+
\n+
\n+
\n
\n
\n-
\n-
\n-
\n-
\n-
\n-
\n-
32 template <
class Signature,
class LocalContext,
template <
class >
class DerivativeTraits=DefaultDerivativeTraits,
size_t bufferSize=56>
\n-
\n-
\n-
\n+
\n+
\n+
\n+
\n+
\n+
31 template <
class Signature,
template <
class >
class DerivativeTraits=DefaultDerivativeTraits,
size_t bufferSize=56>
\n+
\n+
\n
\n
\n-
\n-
\n-
\n-
\n-
42 template <
class S,
class L,
template <
class >
class DerivativeTraits,
size_t bufferSize>
\n-
43 struct LocalFunctionTraits :
\n-
44 DifferentiableFunctionTraits<S, DerivativeTraits, bufferSize>
\n-
\n-
\n-
47 using Base=DifferentiableFunctionTraits<S, DerivativeTraits, bufferSize>;
\n-
\n-
\n-
51 using LocalContext = L;
\n+
\n+
\n+
\n+
41 template <
class S,
template <
class >
class DerivativeTraits,
size_t bufferSize>
\n+
42 struct DifferentiableFunctionTraits
\n+
\n+
\n+
\n+
\n+
\n+
\n
\n-
54 using DerivativeSignature =
typename Base::DerivativeSignature;
\n+
\n
\n-
\n+
\n
\n-
60 using Concept = LocalFunctionWrapperInterface<S, DerivativeInterface, L>;
\n+
60 using Concept = DifferentiableFunctionWrapperInterface<Signature, DerivativeInterface>;
\n
\n
\n-
64 using Model = LocalFunctionWrapperImplementation<S, DerivativeInterface, L, B>;
\n+
64 using Model = DifferentiableFunctionWrapperImplementation<Signature, DerivativeInterface, B>;
\n
\n
\n
\n
\n
\n-
90 template <
class Range,
class Domain,
class LocalContext,
template <
class >
class DerivativeTraits,
size_t bufferSize>
\n-
\n-
91 class LocalFunction < Range(Domain), LocalContext, DerivativeTraits, bufferSize> :
\n-
\n-
93 typename Imp::LocalFunctionTraits<Range(Domain), LocalContext, DerivativeTraits, bufferSize>::Concept,
\n-
94 Imp::LocalFunctionTraits<Range(Domain), LocalContext, DerivativeTraits, bufferSize>::template Model>
\n-
\n-
96 using Traits = Imp::LocalFunctionTraits<Range(Domain), LocalContext, DerivativeTraits, bufferSize>;
\n+
84 template <
class Range,
class Domain,
template <
class >
class DerivativeTraits,
size_t bufferSize>
\n+
\n+
\n+
\n+
87 typename Imp::DifferentiableFunctionTraits<Range(Domain), DerivativeTraits, bufferSize>::Concept,
\n+
88 Imp::DifferentiableFunctionTraits<Range(Domain), DerivativeTraits, bufferSize>::template Model>
\n+
\n+
90 using Traits = Imp::DifferentiableFunctionTraits<Range(Domain), DerivativeTraits, bufferSize>;
\n+
\n+
\n+
\n+
\n+
\n+
\n
\n-
\n-
\n-
\n-
\n-
\n-
\n-
115 template <
class F, disableCopyMove<LocalFunction, F> = 0 >
\n-
\n-
\n-
117 Base (std::forward<F>(f))
\n-
\n-
119 static_assert (Dune::Functions::Concept::isLocalFunction<F, Range(Domain), LocalContext>(),
"Trying to construct a LocalFunction from type that does not model the LocalFunction concept" );
\n-
\n-
\n-
\n-
\n-
\n-
\n-
127 Range operator() (
const Domain& x)
const \n-
\n-
129 return this->asInterface().operator()(x);
\n-
\n-
\n-
\n-
\n-
\n-
\n-
141 return t.asInterface().derivative();
\n-
\n-
\n+
109 template <
class F, disableCopyMove<DifferentiableFunction, F> = 0 >
\n+
\n+
\n+
111 Base (std::forward<F>(f))
\n+
\n+
113 static_assert (Dune::Functions::Concept::isFunction<F, Range(Domain)>(),
"Trying to construct a DifferentiableFunction from type that does not model the Function concept" );
\n+
\n+
\n+
\n+
\n+
\n+
\n+
122 Range operator() (
const Domain& x)
const \n+
\n+
124 return this->asInterface().operator()(x);
\n+
\n+
\n+
\n+
\n+
\n+
\n+
136 return t.asInterface().derivative();
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n
\n-
\n-
150 void bind (
const LocalContext& context)
\n-
\n-
152 this->asInterface().bind(context);
\n-
\n-
\n-
\n-
\n-
\n-
\n-
160 this->asInterface().unbind();
\n-
\n-
\n-
\n-
\n-
\n-
\n-
167 return this->asInterface().bound();
\n-
\n-
\n-
\n-
\n-
\n-
\n-
175 return this->asInterface().localContext();
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
friend DerivativeInterface derivative(const LocalFunction &t)
Get derivative of wrapped function.
Definition localfunction.hh:139
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
friend DerivativeInterface derivative(const DifferentiableFunction &t)
Get derivative of wrapped function.
Definition differentiablefunction.hh:134
\n
Definition polynomial.hh:17
\n-
Definition localfunction.hh:34
\n-
const LocalContext & localContext() const
Obtain local context this LocalFunction is bound to.
Definition localfunction.hh:173
\n-
LocalFunction(F &&f)
Construct from function.
Definition localfunction.hh:116
\n-
void unbind()
Unbind from local context.
Definition localfunction.hh:158
\n-
bool bound() const
Return if the local function is bound to a grid element.
Definition localfunction.hh:165
\n-
void bind(const LocalContext &context)
Bind function to a local context.
Definition localfunction.hh:150
\n-
\n+
Definition differentiablefunction.hh:33
\n+
DifferentiableFunction(F &&f)
Construct from function.
Definition differentiablefunction.hh:110
\n+
DifferentiableFunction()=default
Default constructor.
\n+
Helper class to deduce the signature of a callable.
Definition signature.hh:60
\n
Base class for type-erased interface wrapper.
Definition typeerasure.hh:169
\n
\n \n \n \n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -1,194 +1,157 @@\n dune-functions\u00a02.10\n Loading...\n Searching...\n No Matches\n * _\bd_\bu_\bn_\be\n * _\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs\n * _\bc_\bo_\bm_\bm_\bo_\bn\n-localfunction.hh\n+differentiablefunction.hh\n _\bG_\bo_\b _\bt_\bo_\b _\bt_\bh_\be_\b _\bd_\bo_\bc_\bu_\bm_\be_\bn_\bt_\ba_\bt_\bi_\bo_\bn_\b _\bo_\bf_\b _\bt_\bh_\bi_\bs_\b _\bf_\bi_\bl_\be_\b.\n 1// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-\n 2// vi: set et ts=4 sw=2 sts=2:\n 3\n 4// SPDX-FileCopyrightText: Copyright \u00c2\u00a9 DUNE Project contributors, see file\n AUTHORS.md\n 5// SPDX-License-Identifier: LicenseRef-GPL-2.0-only-with-DUNE-exception OR\n LGPL-3.0-or-later\n 6\n-7#ifndef DUNE_FUNCTIONS_COMMON_LOCAL_FUNCTION_HH\n-8#define DUNE_FUNCTIONS_COMMON_LOCAL_FUNCTION_HH\n+7#ifndef DUNE_FUNCTIONS_COMMON_DIFFERENTIABLE_FUNCTION_HH\n+8#define DUNE_FUNCTIONS_COMMON_DIFFERENTIABLE_FUNCTION_HH\n 9\n 10#include
\n 11\n 12#include \n 13\n-14#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bc_\bo_\bm_\bm_\bo_\bn_\b/_\bd_\be_\bf_\ba_\bu_\bl_\bt_\bd_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bt_\br_\ba_\bi_\bt_\bs_\b._\bh_\bh>\n-15#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bc_\bo_\bm_\bm_\bo_\bn_\b/_\bd_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b._\bh_\bh>\n-16#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bc_\bo_\bm_\bm_\bo_\bn_\b/_\bl_\bo_\bc_\ba_\bl_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b__\bi_\bm_\bp_\b._\bh_\bh>\n-17#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bc_\bo_\bm_\bm_\bo_\bn_\b/_\bt_\by_\bp_\be_\be_\br_\ba_\bs_\bu_\br_\be_\b._\bh_\bh>\n-18#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bc_\bo_\bm_\bm_\bo_\bn_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bc_\bo_\bn_\bc_\be_\bp_\bt_\bs_\b._\bh_\bh>\n-19\n+14#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bc_\bo_\bm_\bm_\bo_\bn_\b/_\bt_\by_\bp_\be_\b__\bt_\br_\ba_\bi_\bt_\bs_\b._\bh_\bh>\n+15#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bc_\bo_\bm_\bm_\bo_\bn_\b/_\bd_\be_\bf_\ba_\bu_\bl_\bt_\bd_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bt_\br_\ba_\bi_\bt_\bs_\b._\bh_\bh>\n+16#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bc_\bo_\bm_\bm_\bo_\bn_\b/_\bd_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b__\bi_\bm_\bp_\b._\bh_\bh>\n+17#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bc_\bo_\bm_\bm_\bo_\bn_\b/_\bs_\bi_\bg_\bn_\ba_\bt_\bu_\br_\be_\b._\bh_\bh>\n+18#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bc_\bo_\bm_\bm_\bo_\bn_\b/_\bt_\by_\bp_\be_\be_\br_\ba_\bs_\bu_\br_\be_\b._\bh_\bh>\n+19#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bc_\bo_\bm_\bm_\bo_\bn_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bc_\bo_\bn_\bc_\be_\bp_\bt_\bs_\b._\bh_\bh>\n 20\n-21\n-22namespace _\bD_\bu_\bn_\be {\n-23namespace Functions {\n+21namespace _\bD_\bu_\bn_\be {\n+22namespace Functions {\n+23\n 24\n 25\n-26\n-27/*\n-28 * Default implementation is empty\n-29 * The actual implementation is only given if Signature is an type\n-30 * describing a function signature as Range(Domain).\n-31 */\n-32template class\n+26/*\n+27 * Default implementation is empty\n+28 * The actual implementation is only given if Signature is an type\n+29 * describing a function signature as Range(Domain).\n+30 */\n+31template class\n DerivativeTraits=DefaultDerivativeTraits, size_t bufferSize=56>\n-_\b3_\b3class _\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn\n-34{};\n+_\b3_\b2class _\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn\n+33{};\n+34\n 35\n 36\n-37\n-38namespace Imp\n-39{\n-40\n-42 template class DerivativeTraits, size_t\n-bufferSize>\n-43 struct LocalFunctionTraits :\n-44 DifferentiableFunctionTraits\n-45 {\n-46 protected:\n-47 using Base=DifferentiableFunctionTraits;\n-48\n-49 public:\n-51 using LocalContext = L;\n+37namespace Imp\n+38{\n+39\n+41 template class DerivativeTraits, size_t bufferSize>\n+42 struct DifferentiableFunctionTraits\n+43 {\n+45 using Signature = S;\n+46\n+48 using Range = typename _\bS_\bi_\bg_\bn_\ba_\bt_\bu_\br_\be_\bT_\br_\ba_\bi_\bt_\bs_\b<_\bS_\bi_\bg_\bn_\ba_\bt_\bu_\br_\be_\b>_\b:_\b:_\bR_\ba_\bn_\bg_\be;\n+49\n+51 using Domain = typename _\bS_\bi_\bg_\bn_\ba_\bt_\bu_\br_\be_\bT_\br_\ba_\bi_\bt_\bs_\b<_\bS_\bi_\bg_\bn_\ba_\bt_\bu_\br_\be_\b>_\b:_\b:_\bD_\bo_\bm_\ba_\bi_\bn;\n 52\n-54 using DerivativeSignature = typename Base::DerivativeSignature;\n+54 using DerivativeSignature = typename _\bS_\bi_\bg_\bn_\ba_\bt_\bu_\br_\be_\bT_\br_\ba_\bi_\bt_\bs_\b<_\bS_\bi_\bg_\bn_\ba_\bt_\bu_\br_\be_\b>_\b:_\b:_\bt_\be_\bm_\bp_\bl_\ba_\bt_\be\n+DerivativeSignature;\n 55\n-57 using DerivativeInterface = _\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bS_\bi_\bg_\bn_\ba_\bt_\bu_\br_\be_\b,_\b _\bL_\b,\n+57 using DerivativeInterface = _\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bS_\bi_\bg_\bn_\ba_\bt_\bu_\br_\be_\b,\n _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b,_\b _\bb_\bu_\bf_\bf_\be_\br_\bS_\bi_\bz_\be_\b>;\n 58\n-60 using Concept = LocalFunctionWrapperInterface;\n+60 using Concept = DifferentiableFunctionWrapperInterface;\n 61\n 63 template\n-64 using Model = LocalFunctionWrapperImplementation;\n+64 using Model = DifferentiableFunctionWrapperImplementation;\n 65 };\n 66}\n 67\n 68\n 69\n-90template class\n-DerivativeTraits, size_t bufferSize>\n-_\b9_\b1class _\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn< Range(Domain), LocalContext, DerivativeTraits,\n-bufferSize> :\n-92 public _\bT_\by_\bp_\be_\bE_\br_\ba_\bs_\bu_\br_\be_\bB_\ba_\bs_\be<\n-93 typename Imp::LocalFunctionTraits::Concept,\n-94 Imp::LocalFunctionTraits class DerivativeTraits,\n+size_t bufferSize>\n+_\b8_\b5class _\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn< Range(Domain), DerivativeTraits, bufferSize> :\n+86 public _\bT_\by_\bp_\be_\bE_\br_\ba_\bs_\bu_\br_\be_\bB_\ba_\bs_\be<\n+87 typename Imp::DifferentiableFunctionTraits::Concept,\n+88 Imp::DifferentiableFunctionTraits::template Model>\n-95{\n-96 using Traits = Imp::LocalFunctionTraits;\n-97\n-98 using _\bB_\ba_\bs_\be = _\bT_\by_\bp_\be_\bE_\br_\ba_\bs_\bu_\br_\be_\bB_\ba_\bs_\be_\b<_\bt_\by_\bp_\be_\bn_\ba_\bm_\be_\b _\bT_\br_\ba_\bi_\bt_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b,_\b _\bT_\br_\ba_\bi_\bt_\bs_\b:_\b:_\bt_\be_\bm_\bp_\bl_\ba_\bt_\be\n+91\n+92 using _\bB_\ba_\bs_\be = _\bT_\by_\bp_\be_\bE_\br_\ba_\bs_\bu_\br_\be_\bB_\ba_\bs_\be_\b<_\bt_\by_\bp_\be_\bn_\ba_\bm_\be_\b _\bT_\br_\ba_\bi_\bt_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b,_\b _\bT_\br_\ba_\bi_\bt_\bs_\b:_\b:_\bt_\be_\bm_\bp_\bl_\ba_\bt_\be\n _\bM_\bo_\bd_\be_\bl_\b>;\n-99\n-100 using DerivativeInterface = typename _\bT_\br_\ba_\bi_\bt_\bs_\b:_\b:_\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bI_\bn_\bt_\be_\br_\bf_\ba_\bc_\be;\n-101\n-102public:\n-103\n-115 template = 0 >\n-_\b1_\b1_\b6 _\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn(F&& f) :\n-117 _\bB_\ba_\bs_\be(std::forward(f))\n-118 {\n-119 static_assert(Dune::Functions::Concept::isLocalFunction(), \"Trying to construct a LocalFunction from type that does not\n-model the LocalFunction concept\");\n-120 }\n-121\n-_\b1_\b2_\b2 _\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn() = default;\n-123\n-_\b1_\b2_\b7 Range operator() (const Domain& x) const\n-128 {\n-129 return this->asInterface().operator()(x);\n-130 }\n-131\n-_\b1_\b3_\b9 friend DerivativeInterface _\bd_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be(const _\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn& t)\n-140 {\n-141 return t.asInterface().derivative();\n-142 }\n+93\n+94 using DerivativeInterface = typename _\bT_\br_\ba_\bi_\bt_\bs_\b:_\b:_\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bI_\bn_\bt_\be_\br_\bf_\ba_\bc_\be;\n+95\n+96public:\n+97\n+109 template = 0 >\n+_\b1_\b1_\b0 _\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn(F&& f) :\n+111 _\bB_\ba_\bs_\be(std::forward(f))\n+112 {\n+113 static_assert(Dune::Functions::Concept::isFunction(),\n+\"Trying to construct a DifferentiableFunction from type that does not model the\n+Function concept\");\n+114 }\n+115\n+_\b1_\b1_\b7 _\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn() = default;\n+118\n+_\b1_\b2_\b2 Range operator() (const Domain& x) const\n+123 {\n+124 return this->asInterface().operator()(x);\n+125 }\n+126\n+_\b1_\b3_\b4 friend DerivativeInterface _\bd_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be(const _\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn& t)\n+135 {\n+136 return t.asInterface().derivative();\n+137 }\n+138};\n+139\n+140\n+141\n+142}} // namespace Dune::Functions\n 143\n-_\b1_\b5_\b0 void _\bb_\bi_\bn_\bd(const LocalContext& context)\n-151 {\n-152 this->asInterface().bind(context);\n-153 }\n-154\n-_\b1_\b5_\b8 void _\bu_\bn_\bb_\bi_\bn_\bd()\n-159 {\n-160 this->asInterface().unbind();\n-161 }\n-162\n-_\b1_\b6_\b5 bool _\bb_\bo_\bu_\bn_\bd() const\n-166 {\n-167 return this->asInterface().bound();\n-168 }\n-169\n-_\b1_\b7_\b3 const LocalContext& _\bl_\bo_\bc_\ba_\bl_\bC_\bo_\bn_\bt_\be_\bx_\bt() const\n-174 {\n-175 return this->asInterface().localContext();\n-176 }\n-177};\n-178\n-179\n-180\n-181}} // namespace Dune::Functions\n-182\n-183\n-184\n-185#endif // DUNE_FUNCTIONS_COMMON_LOCAL_FUNCTION_HH\n-_\bd_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b._\bh_\bh\n+144\n+145\n+146#endif // DUNE_FUNCTIONS_COMMON_DIFFERENTIABLE_FUNCTION_HH\n+_\bs_\bi_\bg_\bn_\ba_\bt_\bu_\br_\be_\b._\bh_\bh\n+_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bc_\bo_\bn_\bc_\be_\bp_\bt_\bs_\b._\bh_\bh\n+_\bt_\by_\bp_\be_\b__\bt_\br_\ba_\bi_\bt_\bs_\b._\bh_\bh\n _\bd_\be_\bf_\ba_\bu_\bl_\bt_\bd_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bt_\br_\ba_\bi_\bt_\bs_\b._\bh_\bh\n _\bt_\by_\bp_\be_\be_\br_\ba_\bs_\bu_\br_\be_\b._\bh_\bh\n-_\bl_\bo_\bc_\ba_\bl_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b__\bi_\bm_\bp_\b._\bh_\bh\n-_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bc_\bo_\bn_\bc_\be_\bp_\bt_\bs_\b._\bh_\bh\n-_\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,_\b _\bL_\bo_\bc_\ba_\bl_\bC_\bo_\bn_\bt_\be_\bx_\bt_\b,_\b _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b,\n+_\bd_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b__\bi_\bm_\bp_\b._\bh_\bh\n+_\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,_\b _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b,\n _\bb_\bu_\bf_\bf_\be_\br_\bS_\bi_\bz_\be_\b _\b>_\b:_\b:_\bd_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be\n-friend DerivativeInterface derivative(const LocalFunction &t)\n+friend DerivativeInterface derivative(const DifferentiableFunction &t)\n Get derivative of wrapped function.\n-D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn localfunction.hh:139\n+D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn differentiablefunction.hh:134\n _\bD_\bu_\bn_\be\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn polynomial.hh:17\n-_\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn\n-D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn localfunction.hh:34\n-_\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,_\b _\bL_\bo_\bc_\ba_\bl_\bC_\bo_\bn_\bt_\be_\bx_\bt_\b,_\b _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b,\n-_\bb_\bu_\bf_\bf_\be_\br_\bS_\bi_\bz_\be_\b _\b>_\b:_\b:_\bl_\bo_\bc_\ba_\bl_\bC_\bo_\bn_\bt_\be_\bx_\bt\n-const LocalContext & localContext() const\n-Obtain local context this LocalFunction is bound to.\n-D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn localfunction.hh:173\n-_\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,_\b _\bL_\bo_\bc_\ba_\bl_\bC_\bo_\bn_\bt_\be_\bx_\bt_\b,_\b _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b,\n-_\bb_\bu_\bf_\bf_\be_\br_\bS_\bi_\bz_\be_\b _\b>_\b:_\b:_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn\n-LocalFunction(F &&f)\n+_\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn\n+D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn differentiablefunction.hh:33\n+_\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,_\b _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b,\n+_\bb_\bu_\bf_\bf_\be_\br_\bS_\bi_\bz_\be_\b _\b>_\b:_\b:_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn\n+DifferentiableFunction(F &&f)\n Construct from function.\n-D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn localfunction.hh:116\n-_\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,_\b _\bL_\bo_\bc_\ba_\bl_\bC_\bo_\bn_\bt_\be_\bx_\bt_\b,_\b _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b,\n-_\bb_\bu_\bf_\bf_\be_\br_\bS_\bi_\bz_\be_\b _\b>_\b:_\b:_\bu_\bn_\bb_\bi_\bn_\bd\n-void unbind()\n-Unbind from local context.\n-D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn localfunction.hh:158\n-_\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,_\b _\bL_\bo_\bc_\ba_\bl_\bC_\bo_\bn_\bt_\be_\bx_\bt_\b,_\b _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b,\n-_\bb_\bu_\bf_\bf_\be_\br_\bS_\bi_\bz_\be_\b _\b>_\b:_\b:_\bb_\bo_\bu_\bn_\bd\n-bool bound() const\n-Return if the local function is bound to a grid element.\n-D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn localfunction.hh:165\n-_\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,_\b _\bL_\bo_\bc_\ba_\bl_\bC_\bo_\bn_\bt_\be_\bx_\bt_\b,_\b _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b,\n-_\bb_\bu_\bf_\bf_\be_\br_\bS_\bi_\bz_\be_\b _\b>_\b:_\b:_\bb_\bi_\bn_\bd\n-void bind(const LocalContext &context)\n-Bind function to a local context.\n-D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn localfunction.hh:150\n-_\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,_\b _\bL_\bo_\bc_\ba_\bl_\bC_\bo_\bn_\bt_\be_\bx_\bt_\b,_\b _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b,\n-_\bb_\bu_\bf_\bf_\be_\br_\bS_\bi_\bz_\be_\b _\b>_\b:_\b:_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn\n-LocalFunction()=default\n+D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn differentiablefunction.hh:110\n+_\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,_\b _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b,\n+_\bb_\bu_\bf_\bf_\be_\br_\bS_\bi_\bz_\be_\b _\b>_\b:_\b:_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn\n+DifferentiableFunction()=default\n+Default constructor.\n+_\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bS_\bi_\bg_\bn_\ba_\bt_\bu_\br_\be_\bT_\br_\ba_\bi_\bt_\bs\n+Helper class to deduce the signature of a callable.\n+D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn signature.hh:60\n _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bT_\by_\bp_\be_\bE_\br_\ba_\bs_\bu_\br_\be_\bB_\ba_\bs_\be\n Base class for type-erased interface wrapper.\n D\bDe\bef\bfi\bin\bni\bit\bti\bio\bon\bn typeerasure.hh:169\n ===============================================================================\n Generated by\u00a0_\b[_\bd_\bo_\bx_\by_\bg_\be_\bn_\b] 1.9.8\n"}]}, {"source1": "./usr/share/doc/libdune-functions-doc/doxygen/a00014.html", "source2": "./usr/share/doc/libdune-functions-doc/doxygen/a00014.html", "unified_diff": "@@ -1,15 +1,15 @@\n \n \n \n dune-functions: indexaccess.hh File Reference \n+dune-functions: functionconcepts.hh File Reference \n \n-
#include <utility>\n-
#include <type_traits>\n-
#include <dune/common/typetraits.hh>\n+
#include <dune/common/typelist.hh>\n
#include <dune/common/concept.hh>\n-
#include <dune/common/hybridutilities.hh>\n-
#include <dune/functions/common/utility.hh >\n+
#include <dune/functions/common/signature.hh >\n+
#include <dune/functions/gridfunctions/localderivativetraits.hh >\n+
#include <dune/functions/gridfunctions/gridviewentityset.hh >\n
\n
Go to the source code of this file.
\n
\n+struct Dune::Functions::Concept::Callable< Args > Concept objects that can be called with given argument list. More... struct Dune::Functions::Concept::Function< Range(Domain)> Concept for a function mapping Domain to Range. More... struct Dune::Functions::Concept::DifferentiableFunction< Range(Domain), DerivativeTraits > Concept for a differentiable function mapping Domain to Range. More... struct Dune::Functions::Concept::LocalFunction< Range(Domain), LocalContext > Concept for a local function mapping Domain to Range. More... struct Dune::Functions::Concept::DifferentiableLocalFunction< Range(Domain), LocalContext, DerivativeTraits > Concept for a differentiable local function mapping Domain to Range. More... struct Dune::Functions::Concept::EntitySet Concept for an entity set for a Concept::GridFunction<Range(Domain), EntitySet, DerivativeTraits> More... struct Dune::Functions::Concept::GridFunction< Range(Domain), EntitySet > Concept for a grid function mapping Domain to Range. More... struct Dune::Functions::Concept::DifferentiableGridFunction< Range(Domain), EntitySet, DerivativeTraits > Concept for a differentiable grid function mapping Domain to Range. More... struct Dune::Functions::Concept::GridViewFunction< Range(Domain), GridView > Concept for a grid view function mapping Domain to Range. More... struct Dune::Functions::Concept::DifferentiableGridViewFunction< Range(Domain), GridView, DerivativeTraits > Concept for a differentiable grid view function mapping Domain to Range. More...
\n template<class C , class I , class F , std::enable_if_t< Dune::models< Imp::Concept::HasDynamicIndexAccess< I >, C >(), int > = 0> auto Dune::Functions::hybridIndexAccess (C &&c, const I &i, F &&f) -> decltype(f(c[i])) Provide operator[] index-access for containers. template<class C , class I , class F , std::enable_if_t< not Dune::models< Imp::Concept::HasDynamicIndexAccess< I >, C >(), int > = 0> decltype(auto) Dune::Functions::hybridIndexAccess (C &&c, const I &i, F &&f) Provide operator[] index-access for containers. template<class Result , class C , class MultiIndex > Result Dune::Functions::hybridMultiIndexAccess (C &&c, const MultiIndex &index) Provide multi-index access by chaining operator[]. template<class C , class MultiIndex , class IsFinal > constexpr decltype(auto) Dune::Functions::resolveDynamicMultiIndex (C &&c, const MultiIndex &multiIndex, const IsFinal &isFinal) Provide multi-index access by chaining operator[]. template<class C , class MultiIndex > constexpr decltype(auto) Dune::Functions::resolveDynamicMultiIndex (C &&c, const MultiIndex &multiIndex) Provide multi-index access by chaining operator[]. template<class C , class MultiIndex > constexpr decltype(auto) Dune::Functions::resolveStaticMultiIndex (C &&c, const MultiIndex &multiIndex) Provide multi-index access by chaining operator[]. template<class F , class... Args> static constexpr auto Dune::Functions::Concept::isCallable () Check if f is callable with given argument list. template<class F , class... Args> static constexpr auto Dune::Functions::Concept::isCallable (F &&, Args &&...) Check if f is callable with given argument list. template<class F , class Signature > static constexpr bool Dune::Functions::Concept::isFunction () Check if F models the Function concept with given signature. template<class F , class Signature , template< class > class DerivativeTraits> static constexpr bool Dune::Functions::Concept::isFunction (F &&f, SignatureTag < Signature, DerivativeTraits >) Check if f models the Function concept with given signature. template<class F , class Signature , template< class > class DerivativeTraits = DefaultDerivativeTraits> static constexpr bool Dune::Functions::Concept::isDifferentiableFunction () Check if F models the DifferentiableFunction concept with given signature. template<class F , class Signature , template< class > class DerivativeTraits> static constexpr bool Dune::Functions::Concept::isDifferentiableFunction (F &&f, SignatureTag < Signature, DerivativeTraits >) Check if f models the DifferentiableFunction concept with given signature. template<class F , class Signature , class LocalContext > static constexpr bool Dune::Functions::Concept::isLocalFunction () Check if F models the LocalFunction concept with given signature and local context. template<class F , class Signature , class LocalContext , template< class > class DerivativeTraits = DefaultDerivativeTraits> static constexpr bool Dune::Functions::Concept::isDifferentiableLocalFunction () Check if F models the DifferentiableLocalFunction concept with given signature and local context. template<class E > static constexpr bool Dune::Functions::Concept::isEntitySet () Check if F models the GridFunction concept with given signature and entity set. template<class F , class Signature , class EntitySet > static constexpr bool Dune::Functions::Concept::isGridFunction () Check if F models the GridFunction concept with given signature and entity set. template<class F , class Signature , class EntitySet , template< class > class DerivativeTraits = DefaultDerivativeTraits> static constexpr bool Dune::Functions::Concept::isDifferentiableGridFunction () Check if F models the DifferentiableGridFunction concept with given signature and entity set. template<class F , class Signature , class GridView > static constexpr bool Dune::Functions::Concept::isGridViewFunction () Check if F models the GridViewFunction concept with given signature. template<class F , class Signature , class GridView , template< class > class DerivativeTraits = DefaultDerivativeTraits> static constexpr bool Dune::Functions::Concept::isDifferentiableGridViewFunction () Check if F models the DifferentiableGridViewFunction concept with given signature.
\n
\n \n \n \n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -1,56 +1,136 @@\n dune-functions\u00a02.10\n Loading...\n Searching...\n No Matches\n * _\bd_\bu_\bn_\be\n * _\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs\n * _\bc_\bo_\bm_\bm_\bo_\bn\n-_\bN_\ba_\bm_\be_\bs_\bp_\ba_\bc_\be_\bs | _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs\n-indexaccess.hh File Reference\n-#include
\n-#include \n-#include \n+_\bC_\bl_\ba_\bs_\bs_\be_\bs | _\bN_\ba_\bm_\be_\bs_\bp_\ba_\bc_\be_\bs | _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs\n+functionconcepts.hh File Reference\n+#include \n #include \n-#include \n-#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bc_\bo_\bm_\bm_\bo_\bn_\b/_\bu_\bt_\bi_\bl_\bi_\bt_\by_\b._\bh_\bh>\n+#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bc_\bo_\bm_\bm_\bo_\bn_\b/_\bs_\bi_\bg_\bn_\ba_\bt_\bu_\br_\be_\b._\bh_\bh>\n+#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bg_\br_\bi_\bd_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bl_\bo_\bc_\ba_\bl_\bd_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bt_\br_\ba_\bi_\bt_\bs_\b._\bh_\bh>\n+#include <_\bd_\bu_\bn_\be_\b/_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bg_\br_\bi_\bd_\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b/_\bg_\br_\bi_\bd_\bv_\bi_\be_\bw_\be_\bn_\bt_\bi_\bt_\by_\bs_\be_\bt_\b._\bh_\bh>\n _\bG_\bo_\b _\bt_\bo_\b _\bt_\bh_\be_\b _\bs_\bo_\bu_\br_\bc_\be_\b _\bc_\bo_\bd_\be_\b _\bo_\bf_\b _\bt_\bh_\bi_\bs_\b _\bf_\bi_\bl_\be_\b.\n+C\bCl\bla\bas\bss\bse\bes\bs\n+struct \u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bC_\ba_\bl_\bl_\ba_\bb_\bl_\be_\b<_\b _\bA_\br_\bg_\bs_\b _\b>\n+\u00a0 _\bC_\bo_\bn_\bc_\be_\bp_\bt objects that can be called with given argument list. _\bM_\bo_\br_\be_\b._\b._\b.\n+\u00a0\n+struct \u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b>\n+\u00a0 _\bC_\bo_\bn_\bc_\be_\bp_\bt for a function mapping Domain to Range. _\bM_\bo_\br_\be_\b._\b._\b.\n+\u00a0\n+struct \u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,\n+ _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b _\b>\n+\u00a0 _\bC_\bo_\bn_\bc_\be_\bp_\bt for a differentiable function mapping Domain to Range. _\bM_\bo_\br_\be_\b._\b._\b.\n+\u00a0\n+struct \u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,_\b _\bL_\bo_\bc_\ba_\bl_\bC_\bo_\bn_\bt_\be_\bx_\bt_\b _\b>\n+\u00a0 _\bC_\bo_\bn_\bc_\be_\bp_\bt for a local function mapping Domain to Range. _\bM_\bo_\br_\be_\b._\b._\b.\n+\u00a0\n+struct \u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,\n+ _\bL_\bo_\bc_\ba_\bl_\bC_\bo_\bn_\bt_\be_\bx_\bt_\b,_\b _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b _\b>\n+\u00a0 _\bC_\bo_\bn_\bc_\be_\bp_\bt for a differentiable local function mapping Domain to Range.\n+ _\bM_\bo_\br_\be_\b._\b._\b.\n+\u00a0\n+struct \u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bE_\bn_\bt_\bi_\bt_\by_\bS_\be_\bt\n+\u00a0 _\bC_\bo_\bn_\bc_\be_\bp_\bt for an entity set for a Concept::GridFunction _\bM_\bo_\br_\be_\b._\b._\b.\n+\u00a0\n+struct \u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bG_\br_\bi_\bd_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,_\b _\bE_\bn_\bt_\bi_\bt_\by_\bS_\be_\bt_\b _\b>\n+\u00a0 _\bC_\bo_\bn_\bc_\be_\bp_\bt for a grid function mapping Domain to Range. _\bM_\bo_\br_\be_\b._\b._\b.\n+\u00a0\n+struct \u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bG_\br_\bi_\bd_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,\n+ _\bE_\bn_\bt_\bi_\bt_\by_\bS_\be_\bt_\b,_\b _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b _\b>\n+\u00a0 _\bC_\bo_\bn_\bc_\be_\bp_\bt for a differentiable grid function mapping Domain to Range.\n+ _\bM_\bo_\br_\be_\b._\b._\b.\n+\u00a0\n+struct \u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bG_\br_\bi_\bd_\bV_\bi_\be_\bw_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be_\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,_\b _\bG_\br_\bi_\bd_\bV_\bi_\be_\bw_\b _\b>\n+\u00a0 _\bC_\bo_\bn_\bc_\be_\bp_\bt for a grid view function mapping Domain to Range. _\bM_\bo_\br_\be_\b._\b._\b.\n+\u00a0\n+struct \u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bG_\br_\bi_\bd_\bV_\bi_\be_\bw_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b<_\b _\bR_\ba_\bn_\bg_\be\n+ _\b(_\bD_\bo_\bm_\ba_\bi_\bn_\b)_\b,_\b _\bG_\br_\bi_\bd_\bV_\bi_\be_\bw_\b,_\b _\bD_\be_\br_\bi_\bv_\ba_\bt_\bi_\bv_\be_\bT_\br_\ba_\bi_\bt_\bs_\b _\b>\n+\u00a0 _\bC_\bo_\bn_\bc_\be_\bp_\bt for a differentiable grid view function mapping Domain to\n+ Range. _\bM_\bo_\br_\be_\b._\b._\b.\n+\u00a0\n N\bNa\bam\bme\bes\bsp\bpa\bac\bce\bes\bs\n namespace \u00a0 _\bD_\bu_\bn_\be\n \u00a0\n namespace \u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs\n \u00a0\n+namespace \u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt\n+\u00a0\n F\bFu\bun\bnc\bct\bti\bio\bon\bns\bs\n-template, C >(), int > = 0>\n- auto\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bh_\by_\bb_\br_\bi_\bd_\bI_\bn_\bd_\be_\bx_\bA_\bc_\bc_\be_\bs_\bs (C &&c, const I\n- &i, F &&f) -> decltype(f(c[i]))\n-\u00a0 Provide operator[] index-access for containers.\n-\u00a0\n-template, C >(), int > = 0>\n- decltype(auto)\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bh_\by_\bb_\br_\bi_\bd_\bI_\bn_\bd_\be_\bx_\bA_\bc_\bc_\be_\bs_\bs (C &&c, const I\n- &i, F &&f)\n-\u00a0 Provide operator[] index-access for containers.\n-\u00a0\n-template\n- Result\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bh_\by_\bb_\br_\bi_\bd_\bM_\bu_\bl_\bt_\bi_\bI_\bn_\bd_\be_\bx_\bA_\bc_\bc_\be_\bs_\bs (C &&c, const\n- MultiIndex &index)\n-\u00a0 Provide multi-index access by chaining operator[].\n-\u00a0\n-template\n-constexpr decltype(auto)\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\br_\be_\bs_\bo_\bl_\bv_\be_\bD_\by_\bn_\ba_\bm_\bi_\bc_\bM_\bu_\bl_\bt_\bi_\bI_\bn_\bd_\be_\bx (C &&c,\n- const MultiIndex &multiIndex, const IsFinal &isFinal)\n-\u00a0 Provide multi-index access by chaining operator[].\n-\u00a0\n-template\n-constexpr decltype(auto)\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\br_\be_\bs_\bo_\bl_\bv_\be_\bD_\by_\bn_\ba_\bm_\bi_\bc_\bM_\bu_\bl_\bt_\bi_\bI_\bn_\bd_\be_\bx (C &&c,\n- const MultiIndex &multiIndex)\n-\u00a0 Provide multi-index access by chaining operator[].\n-\u00a0\n-template\n-constexpr decltype(auto)\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\br_\be_\bs_\bo_\bl_\bv_\be_\bS_\bt_\ba_\bt_\bi_\bc_\bM_\bu_\bl_\bt_\bi_\bI_\bn_\bd_\be_\bx (C &&c,\n- const MultiIndex &multiIndex)\n-\u00a0 Provide multi-index access by chaining operator[].\n+template\n+static constexpr auto\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bi_\bs_\bC_\ba_\bl_\bl_\ba_\bb_\bl_\be ()\n+\u00a0 Check if f is callable with given argument list.\n+\u00a0\n+template\n+static constexpr auto\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bi_\bs_\bC_\ba_\bl_\bl_\ba_\bb_\bl_\be (F &&, Args &&...)\n+\u00a0 Check if f is callable with given argument list.\n+\u00a0\n+template\n+static constexpr bool\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bi_\bs_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn ()\n+\u00a0 Check if F models the _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn concept with given\n+ signature.\n+\u00a0\n+template class DerivativeTraits>\n+static constexpr bool\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bi_\bs_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn (F &&f,\n+ _\bS_\bi_\bg_\bn_\ba_\bt_\bu_\br_\be_\bT_\ba_\bg< Signature, DerivativeTraits >)\n+\u00a0 Check if f models the _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn concept with given\n+ signature.\n+\u00a0\n+template class DerivativeTraits =\n+DefaultDerivativeTraits>\n+static constexpr bool\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bi_\bs_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn ()\n+\u00a0 Check if F models the _\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn concept\n+ with given signature.\n+\u00a0\n+template class DerivativeTraits>\n+static constexpr bool\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bi_\bs_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn (F\n+ &&f, _\bS_\bi_\bg_\bn_\ba_\bt_\bu_\br_\be_\bT_\ba_\bg< Signature, DerivativeTraits >)\n+\u00a0 Check if f models the _\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn concept\n+ with given signature.\n+\u00a0\n+template\n+static constexpr bool\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bi_\bs_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn ()\n+\u00a0 Check if F models the _\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn concept with given\n+ signature and local context.\n+\u00a0\n+template\n+class DerivativeTraits = DefaultDerivativeTraits>\n+static constexpr bool\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bi_\bs_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn\n+ ()\n+\u00a0 Check if F models the _\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bL_\bo_\bc_\ba_\bl_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn\n+ concept with given signature and local context.\n+\u00a0\n+template\n+static constexpr bool\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bi_\bs_\bE_\bn_\bt_\bi_\bt_\by_\bS_\be_\bt ()\n+\u00a0 Check if F models the _\bG_\br_\bi_\bd_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn concept with given\n+ signature and entity set.\n+\u00a0\n+template\n+static constexpr bool\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bi_\bs_\bG_\br_\bi_\bd_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn ()\n+\u00a0 Check if F models the _\bG_\br_\bi_\bd_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn concept with given\n+ signature and entity set.\n+\u00a0\n+template class\n+DerivativeTraits = DefaultDerivativeTraits>\n+static constexpr bool\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bi_\bs_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bG_\br_\bi_\bd_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn\n+ ()\n+\u00a0 Check if F models the _\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bG_\br_\bi_\bd_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn concept\n+ with given signature and entity set.\n+\u00a0\n+template\n+static constexpr bool\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:_\bi_\bs_\bG_\br_\bi_\bd_\bV_\bi_\be_\bw_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn ()\n+\u00a0 Check if F models the _\bG_\br_\bi_\bd_\bV_\bi_\be_\bw_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn concept with\n+ given signature.\n+\u00a0\n+template class\n+DerivativeTraits = DefaultDerivativeTraits>\n+static constexpr bool\u00a0 _\bD_\bu_\bn_\be_\b:_\b:_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs_\b:_\b:_\bC_\bo_\bn_\bc_\be_\bp_\bt_\b:_\b:\n+ _\bi_\bs_\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bG_\br_\bi_\bd_\bV_\bi_\be_\bw_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn ()\n+\u00a0 Check if F models the _\bD_\bi_\bf_\bf_\be_\br_\be_\bn_\bt_\bi_\ba_\bb_\bl_\be_\bG_\br_\bi_\bd_\bV_\bi_\be_\bw_\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn\n+ concept with given signature.\n \u00a0\n ===============================================================================\n Generated by\u00a0_\b[_\bd_\bo_\bx_\by_\bg_\be_\bn_\b] 1.9.8\n"}]}, {"source1": "./usr/share/doc/libdune-functions-doc/doxygen/a00014_source.html", "source2": "./usr/share/doc/libdune-functions-doc/doxygen/a00014_source.html", "unified_diff": "@@ -1,15 +1,15 @@\n \n \n \n dune-functions: indexaccess.hh Source File \n+dune-functions: functionconcepts.hh Source File \n \n
Go to the documentation of this file. \n
\n
\n
\n
\n
\n-
7 #ifndef DUNE_FUNCTIONS_COMMON_INDEX_ACCESS_HH \n-
8 #define DUNE_FUNCTIONS_COMMON_INDEX_ACCESS_HH \n+
7 #ifndef DUNE_FUNCTIONS_COMMON_FUNCTIONCONCEPT_HH \n+
8 #define DUNE_FUNCTIONS_COMMON_FUNCTIONCONCEPT_HH \n
\n-
\n-
\n-
\n-
\n-
14 #include <dune/common/typetraits.hh> \n-
15 #include <dune/common/concept.hh> \n-
16 #include <dune/common/hybridutilities.hh> \n-
\n-
\n-
\n+
10 #include <dune/common/typelist.hh> \n+
11 #include <dune/common/concept.hh> \n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n
\n-
\n-
\n-
\n+
21 using namespace Dune::Concept;
\n+
\n+
\n
\n-
\n-
\n+
\n+
\n
\n-
\n-
\n-
30 template <
class size_t ype>
\n-
31 struct HasDynamicIndexAccess
\n-
\n-
\n-
34 auto require(C&& c) ->
decltype (
\n-
35 c[std::declval<size_type>()]
\n-
\n-
\n-
\n-
39 struct HasStaticIndexAccess
\n-
\n-
\n-
42 auto require(C&& c) ->
decltype (
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
65 template <
class C,
class I,
class F,
\n-
66 std::enable_if_t< Dune::models<Imp::Concept::HasDynamicIndexAccess<I>, C>(),
int > = 0>
\n-
\n-
\n-
90 template <
class C,
class I,
class F,
\n-
91 std::enable_if_t< not Dune::models<Imp::Concept::HasDynamicIndexAccess<I>, C>(),
int > = 0>
\n+
35 template <
class ... Args>
\n+
\n+
\n+
\n+
\n+
\n+
40 f(std::declval<Args>()...)
\n+
\n+
\n+
\n+
\n+
50 template <
class F,
class ... Args>
\n+
\n+
\n+
60 template <
class F,
class ... Args>
\n+
\n+
\n+
\n+
\n+
\n+
69 template <
class Signature>
\n+
\n+
\n+
80 template <
class Range,
class Domain>
\n+
\n+
81 struct Function <Range(Domain)> : Refines<Callable<Domain> >
\n+
\n+
\n+
\n+
\n+
86 requireConvertible<Range>(f(std::declval<Domain>()))
\n+
\n+
\n+
\n+
\n+
91 template <
class F,
class Signature>
\n
\n-
\n-
\n-
94 using Size =
decltype (Hybrid::size(c));
\n-
95 return Hybrid::switchCases(std::make_index_sequence<Size::value>(), i,
\n-
96 [&](
const auto & ii) ->
decltype (
auto ){
\n-
\n-
98 }, [&]() ->
decltype (
auto ){
\n-
99 return f(c[Dune::Indices::_0]);
\n-
\n-
\n-
\n-
\n-
\n-
\n+
\n+
93 {
return models<Concept::Function<Signature>, F>(); }
\n+
\n+
\n+
96 template <
class F,
class Signature,
template <
class >
class DerivativeTraits>
\n+
\n+
\n+
98 {
return models<Concept::Function<Signature>, F>(); }
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n
\n-
119 template <
class Index, std::
size_t offset=1>
\n-
120 class ShiftedDynamicMultiIndex
\n-
\n-
\n-
123 ShiftedDynamicMultiIndex(
const Index& index) :
\n-
\n-
\n-
\n-
127 std::size_t operator[](std::size_t position)
const \n-
\n-
\n-
130 return index_[position+offset];
\n-
\n-
\n-
\n-
\n-
138 ShiftedDynamicMultiIndex<Index, offset+1> pop()
const \n-
\n-
\n-
\n-
\n-
143 std::size_t size()
const \n-
\n-
145 if (offset < index_.size())
\n-
146 return index_.size() - offset;
\n-
\n-
\n-
\n-
\n-
151 const Index& originalIndex()
const \n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
160 template <
class Index, std::
size_t offset=1>
\n-
161 class ShiftedStaticMultiIndex
\n-
\n-
\n-
164 ShiftedStaticMultiIndex(
const Index& index) :
\n-
\n-
\n+
117 template <
class Range,
class Domain,
template <
class >
class DerivativeTraits>
\n+
\n+
118 struct DifferentiableFunction <Range(Domain), DerivativeTraits> : Refines<Dune::Functions::Concept::Function<Range(Domain)> >
\n+
\n+
\n+
\n+
\n+
\n+
\n+
125 requireConcept<Function<DerivativeSignature>>(
derivative (f))
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
132 {
return models<Concept::DifferentiableFunction<Signature, DerivativeTraits>, F>(); }
\n+
\n+
\n+
135 template <
class F,
class Signature,
template <
class >
class DerivativeTraits>
\n+
\n+
\n+
137 {
return models<Concept::DifferentiableFunction<Signature, DerivativeTraits>, F>(); }
\n+
\n+
\n+
\n+
\n+
\n+
142 template <
class Signature,
class LocalContext>
\n+
\n+
\n+
154 template <
class Range,
class Domain,
class LocalContext>
\n+
\n+
\n+
156 Refines<Dune::Functions::Concept::Function<Range(Domain)> >
\n+
\n+
\n+
\n+
160 f.bind(std::declval<LocalContext>()),
\n+
\n+
162 requireConvertible<bool>(f.bound()),
\n+
\n+
164 requireConvertible<LocalContext>(f.localContext())
\n+
\n+
\n+
\n
\n-
168 template <std::
size_t i>
\n-
169 auto operator[](Dune::index_constant<i>)
const \n-
\n-
171 if constexpr (i<size()) {
\n-
172 return index_[Dune::index_constant<i+offset>{}];
\n-
\n-
174 return Dune::index_constant<0>{};
\n-
\n-
\n+
169 template <
class F,
class Signature,
class LocalContext>
\n+
\n+
\n+
171 {
return models<Concept::LocalFunction<Signature, LocalContext>, F>(); }
\n+
\n+
\n+
\n+
\n+
\n+
\n
\n-
181 ShiftedStaticMultiIndex<Index, offset+1> pop()
const \n-
\n-
\n-
\n-
\n-
186 static constexpr std::size_t size()
\n-
\n-
188 auto fullSize =
decltype (Hybrid::size(std::declval<Index>()))::value;
\n-
189 if (offset < fullSize)
\n-
190 return fullSize - offset;
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
204 template <std::
size_t offset,
class Index>
\n-
205 ShiftedDynamicMultiIndex<Index, offset> shiftedDynamicMultiIndex(
const Index& index)
\n-
\n-
\n-
\n-
\n-
218 template <std::
size_t offset,
class Index, std::
size_t oldOffset>
\n-
219 ShiftedDynamicMultiIndex<Index, offset+oldOffset> shiftedDynamicMultiIndex(
const ShiftedDynamicMultiIndex<Index, oldOffset>& index)
\n-
\n-
221 return {index.originalIndex()};
\n-
\n-
\n-
224 template <std::
size_t offset,
class Index>
\n-
225 ShiftedStaticMultiIndex<Index, offset> shiftedStaticMultiIndex(
const Index& index)
\n-
\n-
\n-
\n-
\n-
\n-
\n+
190 template <
class Range,
class Domain,
class LocalContext,
template <
class >
class DerivativeTraits>
\n+
\n+
\n+
\n+
193 Dune::Functions::Concept::DifferentiableFunction<Range(Domain), DerivativeTraits>,
\n+
194 Dune::Functions::Concept::LocalFunction<Range(Domain),LocalContext>
\n+
\n+
\n+
\n+
\n+
199 f.bind(std::declval<LocalContext>()),
\n+
\n+
\n+
202 requireConvertible<LocalContext>(f.localContext())
\n+
\n+
\n+
\n+
\n+
207 template <
class F,
class Signature,
class LocalContext,
template <
class >
class DerivativeTraits =
DefaultDerivativeTraits >
\n+
\n+
\n+
209 {
return models<Concept::DifferentiableLocalFunction<Signature, LocalContext, DerivativeTraits>, F>(); }
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
227 requireType<typename E::Element>(),
\n+
228 requireType<typename E::LocalCoordinate>(),
\n+
229 requireType<typename E::GlobalCoordinate>()
\n+
\n+
\n+
\n
\n-
\n-
\n-
\n-
\n-
237 template <
class Result,
class Index>
\n-
238 struct MultiIndexResolver
\n-
\n-
240 MultiIndexResolver(
const Index& index) :
\n-
\n-
\n+
\n+
\n+
\n+
236 {
return models<Concept::EntitySet, E>(); }
\n+
\n+
\n+
\n+
\n+
\n+
241 template <
class Signature,
class EntitySet>
\n+
\n
\n-
\n-
245 std::enable_if_t<not std::is_convertible_v<C&, Result>,
int > = 0>
\n-
246 Result operator()(C&& c)
\n-
\n-
248 auto && subIndex = Imp::shiftedDynamicMultiIndex<1>(index_);
\n-
249 auto && subIndexResolver = MultiIndexResolver<Result, decltype(subIndex)>(subIndex);
\n-
250 return (Result)(
hybridIndexAccess (c, index_[Dune::Indices::_0], subIndexResolver));
\n-
\n-
\n-
\n-
254 std::enable_if_t<std::is_convertible_v<C&, Result>,
int > = 0>
\n-
255 Result operator()(C&& c)
\n-
\n-
257 return (Result)(std::forward<C>(c));
\n-
\n+
253 template <
class Range,
class Domain,
class EntitySet>
\n+
\n+
\n+
255 Refines<Dune::Functions::Concept::Function<Range(Domain)> >
\n+
\n+
\n+
\n
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
285 template <
class Result,
class C,
class MultiIndex>
\n-
\n-
\n-
\n-
\n-
289 Imp::MultiIndexResolver<Result, MultiIndex> multiIndexResolver(index);
\n-
290 return multiIndexResolver(c);
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
300 template <
class C,
class MultiIndex,
class IsFinal>
\n-
301 constexpr decltype (
auto ) resolveDynamicMultiIndex(C&& c,
const MultiIndex& multiIndex,
const IsFinal& isFinal)
\n-
\n-
\n-
\n-
305 return Hybrid::ifElse(isFinal(c), [&, c =
forwardCapture (std::forward<C>(c))](
auto ) ->
decltype (
auto ) {
\n-
306 assert(multiIndex.size() == 0);
\n-
\n-
308 }, [&](
auto ) ->
decltype (
auto ) {
\n-
309 auto hasDynamicAccess =
callableCheck ([](
auto && cc) -> std::void_t<
decltype (cc[0])> {});
\n-
\n-
\n-
312 auto i = multiIndex[0];
\n-
313 auto tail = multiIndex.pop();
\n-
\n-
\n-
\n-
\n-
\n-
\n-
320 return Hybrid::ifElse(hasDynamicAccess(c), [&](
auto id ) ->
decltype (
auto ) {
\n-
321 return Imp::resolveDynamicMultiIndex(
id (c)[i], tail, isFinal);
\n-
322 }, [&](
auto id) ->
decltype (
auto ) {
\n-
\n-
324 auto indexRange =
typename decltype (range(Hybrid::size(
id (c))))::integer_sequence();
\n-
325 return Hybrid::switchCases(indexRange, i, [&](
auto static_i) ->
decltype (
auto ){
\n-
\n-
327 return Imp::resolveDynamicMultiIndex(
id (c)[static_i], tail, isFinal);
\n-
328 }, [&]() ->
decltype (
auto ){
\n-
\n-
330 return Imp::resolveDynamicMultiIndex(
id (c)[Dune::Indices::_0], tail, isFinal);
\n-
\n-
\n-
\n-
\n-
\n-
336 template <
class C,
class MultiIndex>
\n-
337 constexpr decltype (
auto ) resolveStaticMultiIndex(C&& c,
const MultiIndex& multiIndex)
\n-
\n-
339 auto isExhausted = Hybrid::equal_to(Hybrid::size(multiIndex), Dune::Indices::_0);
\n-
340 return Hybrid::ifElse(isExhausted, [&, c =
forwardCapture (std::forward<C>(c))](
auto ) ->
decltype (
auto ) {
\n-
\n-
342 }, [&](
auto id) ->
decltype (
auto ) {
\n-
343 auto head = multiIndex[Dune::Indices::_0];
\n-
344 auto tail = multiIndex.pop();
\n-
\n-
346 return Imp::resolveStaticMultiIndex(
id (c)[head], tail);
\n-
\n-
\n+
\n+
\n+
\n+
\n+
264 requireConcept<LocalFunction<LocalSignature, LocalContext>>(localFunction(f)),
\n+
265 requireConcept<Concept::EntitySet, EntitySet>(),
\n+
266 requireConvertible<EntitySet>(f.entitySet()),
\n+
267 requireConvertible<typename EntitySet::GlobalCoordinate, Domain>()
\n+
\n+
\n+
\n+
\n+
272 template <
class F,
class Signature,
class EntitySet>
\n+
\n+
\n+
274 {
return models<Concept::GridFunction<Signature, EntitySet>, F>(); }
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
293 template <
class Range,
class Domain,
class EntitySet,
template <
class >
class DerivativeTraits>
\n+
\n+
\n+
\n+
296 Dune::Functions::Concept::DifferentiableFunction<Range(Domain), DerivativeTraits>,
\n+
297 Dune::Functions::Concept::GridFunction<Range(Domain),EntitySet>
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
308 requireConcept<DifferentiableLocalFunction<LocalSignature, LocalContext, LocalDerivativeTraits>>(localFunction(f))
\n+
\n+
\n+
\n+
\n+
313 template <
class F,
class Signature,
class EntitySet,
template <
class >
class DerivativeTraits =
DefaultDerivativeTraits >
\n+
\n+
\n+
315 {
return models<Concept::DifferentiableGridFunction<Signature, EntitySet, DerivativeTraits>, F>(); }
\n+
\n+
\n+
\n+
\n+
\n+
320 template <
class Signature,
class Gr
id View>
\n+
\n+
\n+
335 template <
class Range,
class Domain,
class Gr
id View>
\n+
\n+
\n+
337 Refines<Dune::Functions::Concept::GridFunction<Range(Domain), GridViewEntitySet<GridView,0>>>
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
346 template <
class F,
class Signature,
class Gr
id View>
\n+
\n+
\n+
348 {
return models<Concept::GridViewFunction<Signature, GridView>, F>(); }
\n+
\n
\n-
\n-
\n-
\n-
\n-
376 template <
class C,
class MultiIndex,
class IsFinal>
\n-
\n-
\n-
\n-
379 return Imp::resolveDynamicMultiIndex(std::forward<C>(c), Imp::shiftedDynamicMultiIndex<0>(multiIndex), isFinal);
\n-
\n-
\n-
\n-
398 template <
class C,
class MultiIndex>
\n-
\n-
\n-
\n-
\n-
402 return Imp::resolveDynamicMultiIndex(std::forward<C>(c), Imp::shiftedDynamicMultiIndex<0>(multiIndex), hasNoIndexAccess);
\n-
\n-
\n-
\n-
420 template <
class C,
class MultiIndex>
\n-
\n-
\n-
\n-
423 return Imp::resolveStaticMultiIndex(std::forward<C>(c), Imp::shiftedStaticMultiIndex<0>(multiIndex));
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
\n-
auto hybridIndexAccess(C &&c, const I &i, F &&f) -> decltype(f(c[i]))
Provide operator[] index-access for containers.
Definition indexaccess.hh:67
\n-
constexpr decltype(auto) resolveStaticMultiIndex(C &&c, const MultiIndex &multiIndex)
Provide multi-index access by chaining operator[].
Definition indexaccess.hh:421
\n-
auto callableCheck(Expression f)
Create a predicate for checking validity of expressions.
Definition utility.hh:283
\n-
constexpr decltype(auto) resolveDynamicMultiIndex(C &&c, const MultiIndex &multiIndex, const IsFinal &isFinal)
Provide multi-index access by chaining operator[].
Definition indexaccess.hh:377
\n-
Result hybridMultiIndexAccess(C &&c, const MultiIndex &index)
Provide multi-index access by chaining operator[].
Definition indexaccess.hh:286
\n-
auto negatePredicate(Check check)
Negate given predicate.
Definition utility.hh:308
\n+
\n+
\n+
\n+
\n+
\n+
368 template <
class Range,
class Domain,
class Gr
id View,
template <
class >
class DerivativeTraits>
\n+
\n+
\n+
370 Refines<Dune::Functions::Concept::DifferentiableGridFunction<Range(Domain), GridViewEntitySet<GridView,0>, DerivativeTraits>>
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
379 template <
class F,
class Signature,
class Gr
id View,
template <
class >
class DerivativeTraits =
DefaultDerivativeTraits >
\n+
\n+
\n+
381 {
return models<Concept::DifferentiableGridViewFunction<Signature, GridView, DerivativeTraits>, F>(); }
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
\n+
static constexpr bool isGridFunction()
Check if F models the GridFunction concept with given signature and entity set.
Definition functionconcepts.hh:273
\n+
static constexpr bool isDifferentiableLocalFunction()
Check if F models the DifferentiableLocalFunction concept with given signature and local context.
Definition functionconcepts.hh:208
\n+
static constexpr bool isFunction()
Check if F models the Function concept with given signature.
Definition functionconcepts.hh:92
\n+
static constexpr bool isDifferentiableGridViewFunction()
Check if F models the DifferentiableGridViewFunction concept with given signature.
Definition functionconcepts.hh:380
\n+
static constexpr bool isDifferentiableFunction()
Check if F models the DifferentiableFunction concept with given signature.
Definition functionconcepts.hh:131
\n+
static constexpr bool isGridViewFunction()
Check if F models the GridViewFunction concept with given signature.
Definition functionconcepts.hh:347
\n+
static constexpr bool isEntitySet()
Check if F models the GridFunction concept with given signature and entity set.
Definition functionconcepts.hh:235
\n+
static constexpr bool isDifferentiableGridFunction()
Check if F models the DifferentiableGridFunction concept with given signature and entity set.
Definition functionconcepts.hh:314
\n+
static constexpr bool isLocalFunction()
Check if F models the LocalFunction concept with given signature and local context.
Definition functionconcepts.hh:170
\n+
TrigonometricFunction< K, -cosFactor, sinFactor > derivative(const TrigonometricFunction< K, sinFactor, cosFactor > &f)
Obtain derivative of TrigonometricFunction function.
Definition trigonometricfunction.hh:43
\n+
static constexpr auto isCallable()
Check if f is callable with given argument list.
Definition functionconcepts.hh:51
\n
Definition polynomial.hh:17
\n-
auto forwardCapture(T &&t)
Create a capture object for perfect forwarding.
Definition utility.hh:376
\n+
Default implementation for derivative traits.
Definition defaultderivativetraits.hh:41
\n+
Concept objects that can be called with given argument list.
Definition functionconcepts.hh:37
\n+
auto require(F &&f) -> decltype(f(std::declval< Args >()...))
\n+
Definition functionconcepts.hh:70
\n+
auto require(F &&f) -> decltype(requireConvertible< Range >(f(std::declval< Domain >())))
\n+
Definition functionconcepts.hh:104
\n+
typename SignatureTraits< Range(Domain)>::template DerivativeSignature< DerivativeTraits > DerivativeSignature
Definition functionconcepts.hh:120
\n+
auto require(F &&f) -> decltype(derivative(f), requireConcept< Function< DerivativeSignature > >(derivative(f)))
\n+
Definition functionconcepts.hh:143
\n+
auto require(F &&f) -> decltype(f.bind(std::declval< LocalContext >()), f.unbind(), requireConvertible< bool >(f.bound()), f.localContext(), requireConvertible< LocalContext >(f.localContext()))
\n+
Definition functionconcepts.hh:176
\n+
auto require(F &&f) -> decltype(f.bind(std::declval< LocalContext >()), f.unbind(), f.localContext(), requireConvertible< LocalContext >(f.localContext()))
\n+
Concept for an entity set for a Concept::GridFunction<Range(Domain), EntitySet, DerivativeTraits>
Definition functionconcepts.hh:224
\n+
auto require(E &&f) -> decltype(requireType< typename E::Element >(), requireType< typename E::LocalCoordinate >(), requireType< typename E::GlobalCoordinate >())
\n+
Definition functionconcepts.hh:242
\n+
typename EntitySet::Element LocalContext
Definition functionconcepts.hh:258
\n+
Range(typename EntitySet::LocalCoordinate) LocalSignature
Definition functionconcepts.hh:257
\n+
auto require(F &&f) -> decltype(localFunction(f), f.entitySet(), requireConcept< LocalFunction< LocalSignature, LocalContext > >(localFunction(f)), requireConcept< Concept::EntitySet, EntitySet >(), requireConvertible< EntitySet >(f.entitySet()), requireConvertible< typename EntitySet::GlobalCoordinate, Domain >())
\n+
Definition functionconcepts.hh:279
\n+
typename Dune::Functions::LocalDerivativeTraits< EntitySet, DerivativeTraits >::template Traits< R > LocalDerivativeTraits
Definition functionconcepts.hh:304
\n+
auto require(F &&f) -> decltype(requireConcept< DifferentiableLocalFunction< LocalSignature, LocalContext, LocalDerivativeTraits > >(localFunction(f)))
\n+
Range(typename EntitySet::LocalCoordinate) LocalSignature
Definition functionconcepts.hh:300
\n+
typename EntitySet::Element LocalContext
Definition functionconcepts.hh:301
\n+
Definition functionconcepts.hh:321
\n+
auto require(F &&f) -> decltype(0)
\n+
Definition functionconcepts.hh:353
\n+
auto require(F &&f) -> decltype(0)
\n+
Helper class to deduce the signature of a callable.
Definition signature.hh:60
\n+
Definition signature.hh:106
\n+
Derivative traits for local functions.
Definition localderivativetraits.hh:32
\n
![\"doxygen\"/](\"doxygen.svg\")
1.9.8\n \n \n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -1,92 +1,30 @@\n dune-functions\u00a02.10\n Loading...\n Searching...\n No Matches\n * _\bd_\bu_\bn_\be\n * _\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs\n- * _\bc_\bo_\bm_\bm_\bo_\bn\n-_\bC_\bl_\ba_\bs_\bs_\be_\bs | _\bN_\ba_\bm_\be_\bs_\bp_\ba_\bc_\be_\bs | _\bT_\by_\bp_\be_\bd_\be_\bf_\bs | _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\bs\n-utility.hh File Reference\n-#include