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 NonLinearSolver>
concept Ikarus::Concepts::NonLinearSolverCheckForPathFollowing =  requires {
      std::tuple_size<typename NonLinearSolver::NonLinearOperator::ParameterValues>::value == 2;
      not(std::is_same_v<
              typename NonLinearSolver::NonLinearOperator::ValueType,
              double> and ((traits::isSpecializationTypeAndNonTypes<Eigen::Matrix, typename NonLinearSolver::NonLinearOperator::DerivativeType>::value) or (traits::isSpecializationTypeNonTypeAndType<Eigen::SparseMatrix, typename NonLinearSolver::NonLinearOperator::DerivativeType>::value)));
    }

Detailed Description

Template Parameters

NonLinearSolver The non-linear solver type.