cpp-gl/include/hgl/hypergraph_traits.hpp at 5d92946ea0978ffdcf8f089594bc7be5f9652901 · SpectraL519/cpp-gl · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
// Copyright (c) 2024-2026 Jakub Musiał
// This file is part of the CPP-GL project (https://github.com/SpectraL519/cpp-gl).
// Licensed under the MIT License. See the LICENSE file in the project root for full license information.

#pragma once

#include "gl/types/core.hpp"
#include "hgl/directional_tags.hpp"
#include "hgl/hypergraph_elements.hpp"
#include "hgl/impl/impl_tags.hpp"
#include "hgl/impl/layout_tags.hpp"

namespace hgl {

template <
    traits::c_hypergraph_directional_tag DirectionalTag = undirected_t,
    traits::c_properties VertexProperties = empty_properties,
    traits::c_properties HyperedgeProperties = empty_properties,
    traits::c_hypergraph_impl_tag ImplTag = impl::list_t<>>
struct hypergraph_traits {
    using directional_tag = DirectionalTag;
    using implementation_tag = ImplTag;
    using layout_tag = typename implementation_tag::layout_tag;
    using id_type = typename implementation_tag::id_type;

    using vertex_type = vertex_descriptor<VertexProperties, id_type>;
    using vertex_properties_type = typename vertex_type::properties_type;

    using hyperedge_type = hyperedge_descriptor<HyperedgeProperties, id_type>;
    using hyperedge_properties_type = typename hyperedge_type::properties_type;
};

template <
    traits::c_hypergraph_layout_tag LayoutTag = impl::bidirectional_t,
    traits::c_hypergraph_directional_tag DirectionalTag = undirected_t,
    traits::c_properties VertexProperties = empty_properties,
    traits::c_properties HyperedgeProperties = empty_properties,
    traits::c_id_type IdType = default_id_type>
using list_hypergraph_traits = hypergraph_traits<
    DirectionalTag,
    VertexProperties,
    HyperedgeProperties,
    impl::list_t<LayoutTag, IdType>>;

template <
    traits::c_hypergraph_layout_tag LayoutTag = impl::bidirectional_t,
    traits::c_hypergraph_directional_tag DirectionalTag = undirected_t,
    traits::c_properties VertexProperties = empty_properties,
    traits::c_properties HyperedgeProperties = empty_properties,
    traits::c_id_type IdType = default_id_type>
using flat_list_hypergraph_traits = hypergraph_traits<
    DirectionalTag,
    VertexProperties,
    HyperedgeProperties,
    impl::flat_list_t<LayoutTag, IdType>>;

template <
    traits::c_hypergraph_asymmetric_layout_tag LayoutTag = impl::hyperedge_major_t,
    traits::c_hypergraph_directional_tag DirectionalTag = undirected_t,
    traits::c_properties VertexProperties = empty_properties,
    traits::c_properties HyperedgeProperties = empty_properties,
    traits::c_id_type IdType = default_id_type>
using matrix_hypergraph_traits = hypergraph_traits<
    DirectionalTag,
    VertexProperties,
    HyperedgeProperties,
    impl::matrix_t<LayoutTag, IdType>>;

template <
    traits::c_hypergraph_asymmetric_layout_tag LayoutTag = impl::hyperedge_major_t,
    traits::c_hypergraph_directional_tag DirectionalTag = undirected_t,
    traits::c_properties VertexProperties = empty_properties,
    traits::c_properties HyperedgeProperties = empty_properties,
    traits::c_id_type IdType = default_id_type>
using flat_matrix_hypergraph_traits = hypergraph_traits<
    DirectionalTag,
    VertexProperties,
    HyperedgeProperties,
    impl::flat_matrix_t<LayoutTag, IdType>>;

template <
    traits::c_properties VertexProperties = empty_properties,
    traits::c_properties HyperedgeProperties = empty_properties,
    traits::c_hypergraph_impl_tag ImplTag = impl::list_t<>>
using undirected_hypergraph_traits =
    hypergraph_traits<undirected_t, VertexProperties, HyperedgeProperties, ImplTag>;

template <
    traits::c_properties VertexProperties = empty_properties,
    traits::c_properties HyperedgeProperties = empty_properties,
    traits::c_hypergraph_impl_tag ImplTag = impl::list_t<>>
using bf_directed_hypergraph_traits =
    hypergraph_traits<bf_directed_t, VertexProperties, HyperedgeProperties, ImplTag>;

namespace traits {


template <typename TraitsType>
concept c_list_hypergraph_traits =
    c_instantiation_of<TraitsType, hypergraph_traits>
    and c_hypergraph_list_impl<typename TraitsType::implementation_tag>;

template <typename TraitsType>
concept c_flat_list_hypergraph_traits =
    c_instantiation_of<TraitsType, hypergraph_traits>
    and c_hypergraph_flat_list_impl<typename TraitsType::implementation_tag>;

template <typename TraitsType>
concept c_incidence_list_hypergraph_traits =
    c_list_hypergraph_traits<TraitsType> or c_flat_list_hypergraph_traits<TraitsType>;

template <typename TraitsType>
concept c_matrix_hypergraph_traits =
    c_instantiation_of<TraitsType, hypergraph_traits>
    and c_hypergraph_matrix_impl<typename TraitsType::implementation_tag>;

template <typename TraitsType>
concept c_flat_matrix_hypergraph_traits =
    c_instantiation_of<TraitsType, hypergraph_traits>
    and c_hypergraph_flat_matrix_impl<typename TraitsType::implementation_tag>;

template <typename TraitsType>
concept c_incidence_matrix_hypergraph_traits =
    c_matrix_hypergraph_traits<TraitsType> or c_flat_matrix_hypergraph_traits<TraitsType>;

template <typename TraitsType>
concept c_undirected_hypergraph_traits =
    c_instantiation_of<TraitsType, hypergraph_traits>
    and std::same_as<typename TraitsType::directional_tag, undirected_t>;

template <typename TraitsType>
concept c_bf_directed_hypergraph_traits =
    c_instantiation_of<TraitsType, hypergraph_traits>
    and std::same_as<typename TraitsType::directional_tag, bf_directed_t>;

} // namespace traits

} // namespace hgl