Ikarus::Concepts::NonLinearSolverCheckForPathFollowing Concept Reference

Concept to check if a non-linear solver with its non-linear operator satisfies requirements for path following. More...

#include <ikarus/utils/concepts.hh>

Concept definition

template<typename NLS>
concept Ikarus::Concepts::NonLinearSolverCheckForPathFollowing =  requires {
    std::tuple_size<typename NLS::NonLinearOperator::ParameterValues>::value == 2;
    not(std::is_same_v<typename NLS::NonLinearOperator::ValueType, double> and
        ((traits::isSpecializationTypeAndNonTypes<Eigen::Matrix,
                                                  typename NLS::NonLinearOperator::DerivativeType>::value) or
         (traits::isSpecializationTypeNonTypeAndType<Eigen::SparseMatrix,
                                                     typename NLS::NonLinearOperator::DerivativeType>::value)));
  }

Detailed Description

Template Parameters

NLS	The non-linear solver type.