Ikarus::Concepts::NonLinearSolverState Concept Reference

Concept to check if a type represents a nonlinear solver state. More...

#include <ikarus/utils/concepts.hh>

Concept definition

template<typename S>
concept Ikarus::Concepts::NonLinearSolverState =  requires(S s) {
    typename S::Domain;
    typename S::CorrectionType;
 
    { s.information } -> std::same_as<const NonLinearSolverInformation&>;
    { s.domain } -> std::same_as<const typename S::Domain&>;
    { s.correction } -> std::same_as<const typename S::CorrectionType&>;
  }

Detailed Description

Template Parameters

S	the type to be checked