DiFfRG::FV::KurganovTadmor::HasAssemblyViewRange Concept Reference

#include <assembly_context.hh>

Concept definition

template<typename Range>
concept DiFfRG::FV::KurganovTadmor::HasAssemblyViewRange = 
          requires {
            typename Range::Context;
            typename Range::NumberType;
            typename Range::const_iterator;
            {
              Range::dim
            } -> std::convertible_to<int>;
            {
              Range::n_components
            } -> std::convertible_to<std::size_t>;
          } &&
          requires(const Range &range, const std::size_t i) {
            {
              range.begin()
            } -> std::same_as<typename Range::const_iterator>;
            {
              range.end()
            } -> std::same_as<typename Range::const_iterator>;
            {
              range.size()
            } -> std::convertible_to<std::size_t>;
            {
              range[i]
            } -> std::same_as<typename Range::Context>;
          }