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 Basis>
concept Ikarus::Concepts::BlockedLexicographicBasis =  requires {
      std::is_same_v<typename Basis::PreBasis::IndexMergingStrategy,
                     Dune::Functions::BasisFactory::BlockedLexicographic>;
    }

Detailed Description

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

Template Parameters

Basis

The basis type.