dune-functions 2.9.0
|
Concept for a differentiable function mapping Domain
to Range
.
More...
#include <dune/functions/common/functionconcepts.hh>
Public Types | |
using | DerivativeSignature = typename SignatureTraits< Range(Domain)>::template DerivativeSignature< DerivativeTraits > |
Public Member Functions | |
template<class F > | |
auto | require (F &&f) -> decltype(derivative(f), requireConcept< Function< DerivativeSignature > >(derivative(f))) |
Concept for a differentiable function mapping Domain
to Range
.
The derivative range is derived from the provided DerivativeTraits
Domain | Domain type |
Range | Range type |
DerivativeTraits | Traits class for computation of derivative range |
using Dune::Functions::Concept::DifferentiableFunction< Range(Domain), DerivativeTraits >::DerivativeSignature = typename SignatureTraits<Range(Domain)>::template DerivativeSignature<DerivativeTraits> |
auto Dune::Functions::Concept::DifferentiableFunction< Range(Domain), DerivativeTraits >::require | ( | F && | f | ) | -> decltype(derivative(f), requireConcept< Function< DerivativeSignature > >(derivative(f))) |