uni20::Space Concept Reference

Tensor-space value with a mutable semantic leg label. More...

#include <space.hpp>

Concept definition

template<class T>
concept uni20::Space =  std::copy_constructible<std::remove_cvref_t<T>> && std::equality_comparable<std::remove_cvref_t<T>> &&
                requires(std::remove_cvref_t<T>& space, std::remove_cvref_t<T> const& const_space, std::string label) {
                  { const_space.label() } -> std::same_as<std::string const&>;
                  { space.set_label(std::move(label)) } -> std::same_as<void>;
                }

Detailed Description

Tensor-space value with a mutable semantic leg label.

Template Parameters

T	Candidate space type.