| 
    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))) |