A concept to check if a template type satisfies the ResultType requirements. More...

#include <ikarus/utils/concepts.hh>

Concept definition

template<template< typename, int, int > typename RT>
concept Ikarus::Concepts::ResultType = 
      Impl::ResultType<RT<double, 1, 1>> or Impl::ResultType<RT<double, 1, 2>> or Impl::ResultType<RT<double, 1, 3>> or
      Impl::ResultType<RT<double, 2, 3>> or Impl::ResultType<RT<double, 3, 3>>

Detailed Description

Template Parameters

RT A template type with parameters (typename, int, int). The first parameter is the data type, and the next two parameters are the grid dimension and the world dimension. It checks for various instantiations to ensure they meet the ResultType concept. Specifically, it checks for the nested types 'type', 'Vectorizer', 'Matricizer', and the presence of a toString function returning a std::string.