triqs::mesh::MeshWithValues

#include <triqs/mesh/concepts.hpp>

Detailed Description

Concept for a mesh with values.

Every mesh with values m of type M

• is a triqs::mesh::Mesh,
• has mesh points which have a value of type M::value_t and which can be cast to this type and
• provides a function m.to_value(index) to convert an index of a mesh point to its value.

Template Parameters

M	Mesh type.

Definition at line 130 of file concepts.hpp.

Concept definition

template<typename M>
concept triqs::mesh::MeshWithValues =  Mesh<M> and requires(M const &m, typename M::index_t index) {
    
    typename M::value_t;
 
    
    { m.to_value(index) } -> std::same_as<typename M::value_t>;
 
    
    { (*std::begin(m)).value() } -> nda::AnyOf<typename M::value_t, typename M::value_t const &>;
    { static_cast<typename M::value_t>(*std::begin(m)) };
  }