Ikarus::Concepts::BlockedLexicographicBasis Concept Reference

Concept to check if a basis uses BlockedLexicographic indexing strategy. More...

#include <ikarus/utils/concepts.hh>

Concept definition

template<typename B>
concept Ikarus::Concepts::BlockedLexicographicBasis =  requires {
    std::is_same_v<typename B::PreBasis::IndexMergingStrategy, Dune::Functions::BasisFactory::BlockedLexicographic>;
  }

Detailed Description

This concept checks if the given Basis type uses BlockedLexicographic indexing strategy.

Template Parameters

B	The basis type.