morphism_boundary.hpp

Go to the documentation of this file.

 
#pragma once
 
#include <uni20/symmetry/space.hpp>
 
#include <cstddef>
#include <string>
#include <tuple>
#include <type_traits>
#include <utility>
 
namespace uni20
{
 
template <Space... Spaces> class Domain {
  public:
    using tuple_type = std::tuple<Spaces...>;
 
    template <std::size_t I> using space_type = std::tuple_element_t<I, tuple_type>;
 
    explicit Domain(Spaces... spaces) : spaces_(std::move(spaces)...) {}
 
    static constexpr auto size() noexcept -> std::size_t { return sizeof...(Spaces); }
 
    static constexpr auto empty() noexcept -> bool { return sizeof...(Spaces) == 0; }
 
    template <std::size_t I> constexpr auto space() const& noexcept -> space_type<I> const&
    {
      return std::get<I>(spaces_);
    }
 
    constexpr auto spaces() const& noexcept -> tuple_type const& { return spaces_; }
 
    template <std::size_t I> void set_label(std::string label) { std::get<I>(spaces_).set_label(std::move(label)); }
 
    auto operator==(Domain const& other) const -> bool = default;
 
  private:
    tuple_type spaces_;
};
 
template <class... Spaces> Domain(Spaces&&...) -> Domain<std::remove_cvref_t<Spaces>...>;
 
template <Space... Spaces> class Codomain {
  public:
    using tuple_type = std::tuple<Spaces...>;
 
    template <std::size_t I> using space_type = std::tuple_element_t<I, tuple_type>;
 
    explicit Codomain(Spaces... spaces) : spaces_(std::move(spaces)...) {}
 
    static constexpr auto size() noexcept -> std::size_t { return sizeof...(Spaces); }
 
    static constexpr auto empty() noexcept -> bool { return sizeof...(Spaces) == 0; }
 
    template <std::size_t I> constexpr auto space() const& noexcept -> space_type<I> const&
    {
      return std::get<I>(spaces_);
    }
 
    constexpr auto spaces() const& noexcept -> tuple_type const& { return spaces_; }
 
    template <std::size_t I> void set_label(std::string label) { std::get<I>(spaces_).set_label(std::move(label)); }
 
    auto operator==(Codomain const& other) const -> bool = default;
 
  private:
    tuple_type spaces_;
};
 
template <class... Spaces> Codomain(Spaces&&...) -> Codomain<std::remove_cvref_t<Spaces>...>;
 
} // namespace uni20