|
dune-functions 2.10
|
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))) |