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 {
    not(std::is_same_v<typename NLS::DifferentiableFunction::Domain, double> and
        ((traits::isSpecializationTypeAndNonTypes<
             Eigen::Matrix, typename NLS::DifferentiableFunction::Traits::template Range<1>>::value) or
         (traits::isSpecializationTypeNonTypeAndType<
             Eigen::SparseMatrix, typename NLS::DifferentiableFunction::Traits::template Range<1>>::value)));
  }

Detailed Description

Template Parameters

NLS	The non-linear solver type.