Skip to content

YT-CPPHGL-14: Implement the remaining methods of the hypergraph class for bf-directed hypergraph operations #71

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
SpectraL519 merged 2 commits into from
Dec 30, 2025
Merged

YT-CPPHGL-14: Implement the remaining methods of the hypergraph class for bf-directed hypergraph operations #71

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
be72fa7
initial bf-directed hypergraph methods impl
SpectraL519 Dec 30, 2025
cb7438d
bf-directed hypergraph tests
SpectraL519 Dec 30, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
181 changes: 179 additions & 2 deletions include/hgl/hypergraph.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@
#pragma once

#include "hgl/constants.hpp"
#include "hgl/directional_tags.hpp"
#include "hgl/hypergraph_traits.hpp"
#include "hgl/util.hpp"

Expand Down Expand Up @@ -332,16 +333,48 @@ class hypergraph final {

// --- incidence methods ---

void bind(const types::id_type vertex_id, const types::id_type hyperedge_id) {
void bind(const types::id_type vertex_id, const types::id_type hyperedge_id)
requires std::same_as<directional_tag, undirected_t>
{
this->_verify_vertex_id(vertex_id);
this->_verify_hyperedge_id(hyperedge_id);
this->_impl.bind(vertex_id, hyperedge_id);
}

gl_attr_force_inline void bind(const vertex_type& vertex, const hyperedge_type& hyperedge) {
gl_attr_force_inline void bind(const vertex_type& vertex, const hyperedge_type& hyperedge)
requires std::same_as<directional_tag, undirected_t>
{
this->bind(vertex.id(), hyperedge.id());
}

void bind_head(const types::id_type vertex_id, const types::id_type hyperedge_id)
requires std::same_as<directional_tag, bf_directed_t>
{
this->_verify_vertex_id(vertex_id);
this->_verify_hyperedge_id(hyperedge_id);
this->_impl.bind_head(vertex_id, hyperedge_id);
}

gl_attr_force_inline void bind_head(const vertex_type& vertex, const hyperedge_type& hyperedge)
requires std::same_as<directional_tag, bf_directed_t>
{
this->bind_head(vertex.id(), hyperedge.id());
}

void bind_tail(const types::id_type vertex_id, const types::id_type hyperedge_id)
requires std::same_as<directional_tag, bf_directed_t>
{
this->_verify_vertex_id(vertex_id);
this->_verify_hyperedge_id(hyperedge_id);
this->_impl.bind_tail(vertex_id, hyperedge_id);
}

gl_attr_force_inline void bind_tail(const vertex_type& vertex, const hyperedge_type& hyperedge)
requires std::same_as<directional_tag, bf_directed_t>
{
this->bind_tail(vertex.id(), hyperedge.id());
}

void unbind(const types::id_type vertex_id, const types::id_type hyperedge_id) {
this->_verify_vertex_id(vertex_id);
this->_verify_hyperedge_id(hyperedge_id);
Expand All @@ -366,6 +399,40 @@ class hypergraph final {
return this->are_incident(vertex.id(), hyperedge.id());
}

[[nodiscard]] bool is_tail(const types::id_type vertex_id, const types::id_type hyperedge_id)
const
requires std::same_as<directional_tag, bf_directed_t>
{
this->_verify_vertex_id(vertex_id);
this->_verify_hyperedge_id(hyperedge_id);
return this->_impl.is_tail(vertex_id, hyperedge_id);
}

[[nodiscard]] gl_attr_force_inline bool is_tail(
const vertex_type& vertex, const hyperedge_type& hyperedge
) const
requires std::same_as<directional_tag, bf_directed_t>
{
return this->is_tail(vertex.id(), hyperedge.id());
}

[[nodiscard]] bool is_head(const types::id_type vertex_id, const types::id_type hyperedge_id)
const
requires std::same_as<directional_tag, bf_directed_t>
{
this->_verify_vertex_id(vertex_id);
this->_verify_hyperedge_id(hyperedge_id);
return this->_impl.is_head(vertex_id, hyperedge_id);
}

[[nodiscard]] gl_attr_force_inline bool is_head(
const vertex_type& vertex, const hyperedge_type& hyperedge
) const
requires std::same_as<directional_tag, bf_directed_t>
{
return this->is_head(vertex.id(), hyperedge.id());
}

[[nodiscard]] auto incident_hyperedges(const types::id_type vertex_id) {
this->_verify_vertex_id(vertex_id);
return this->_impl.incident_hyperedges(vertex_id)
Expand All @@ -385,6 +452,60 @@ class hypergraph final {
return this->degree(vertex.id());
}

[[nodiscard]] auto outgoing_hyperedges(const types::id_type vertex_id)
requires std::same_as<directional_tag, bf_directed_t>
{
this->_verify_vertex_id(vertex_id);
return this->_impl.outgoing_hyperedges(vertex_id)
| std::views::transform(this->_create_hyperedge_descriptor());
}

[[nodiscard]] gl_attr_force_inline auto outgoing_hyperedges(const vertex_type& vertex)
requires std::same_as<directional_tag, bf_directed_t>
{
return this->outgoing_hyperedges(vertex.id());
}

[[nodiscard]] types::size_type out_degree(const types::id_type vertex_id) const
requires std::same_as<directional_tag, bf_directed_t>
{
this->_verify_vertex_id(vertex_id);
return this->_impl.out_degree(vertex_id);
}

[[nodiscard]] gl_attr_force_inline types::size_type out_degree(const vertex_type& vertex) const
requires std::same_as<directional_tag, bf_directed_t>
{
return this->out_degree(vertex.id());
}

[[nodiscard]] auto incoming_hyperedges(const types::id_type vertex_id)
requires std::same_as<directional_tag, bf_directed_t>
{
this->_verify_vertex_id(vertex_id);
return this->_impl.incoming_hyperedges(vertex_id)
| std::views::transform(this->_create_hyperedge_descriptor());
}

[[nodiscard]] gl_attr_force_inline auto incoming_hyperedges(const vertex_type& vertex)
requires std::same_as<directional_tag, bf_directed_t>
{
return this->incoming_hyperedges(vertex.id());
}

[[nodiscard]] types::size_type in_degree(const types::id_type vertex_id) const
requires std::same_as<directional_tag, bf_directed_t>
{
this->_verify_vertex_id(vertex_id);
return this->_impl.in_degree(vertex_id);
}

[[nodiscard]] gl_attr_force_inline types::size_type in_degree(const vertex_type& vertex) const
requires std::same_as<directional_tag, bf_directed_t>
{
return this->in_degree(vertex.id());
}

[[nodiscard]] auto incident_vertices(const types::id_type hyperedge_id) {
this->_verify_hyperedge_id(hyperedge_id);
return this->_impl.incident_vertices(hyperedge_id)
Expand All @@ -406,6 +527,62 @@ class hypergraph final {
return this->hyperedge_size(hyperedge.id());
}

[[nodiscard]] auto tail_vertices(const types::id_type hyperedge_id)
requires std::same_as<directional_tag, bf_directed_t>
{
this->_verify_hyperedge_id(hyperedge_id);
return this->_impl.tail_vertices(hyperedge_id)
| std::views::transform(this->_create_vertex_descriptor());
}

[[nodiscard]] gl_attr_force_inline auto tail_vertices(const hyperedge_type& hyperedge)
requires std::same_as<directional_tag, bf_directed_t>
{
return this->tail_vertices(hyperedge.id());
}

[[nodiscard]] types::size_type tail_size(const types::id_type hyperedge_id) const
requires std::same_as<directional_tag, bf_directed_t>
{
this->_verify_hyperedge_id(hyperedge_id);
return this->_impl.tail_size(hyperedge_id);
}

[[nodiscard]] gl_attr_force_inline types::size_type tail_size(const hyperedge_type& hyperedge
) const
requires std::same_as<directional_tag, bf_directed_t>
{
return this->tail_size(hyperedge.id());
}

[[nodiscard]] auto head_vertices(const types::id_type hyperedge_id)
requires std::same_as<directional_tag, bf_directed_t>
{
this->_verify_hyperedge_id(hyperedge_id);
return this->_impl.head_vertices(hyperedge_id)
| std::views::transform(this->_create_vertex_descriptor());
}

[[nodiscard]] gl_attr_force_inline auto head_vertices(const hyperedge_type& hyperedge)
requires std::same_as<directional_tag, bf_directed_t>
{
return this->head_vertices(hyperedge.id());
}

[[nodiscard]] types::size_type head_size(const types::id_type hyperedge_id) const
requires std::same_as<directional_tag, bf_directed_t>
{
this->_verify_hyperedge_id(hyperedge_id);
return this->_impl.head_size(hyperedge_id);
}

[[nodiscard]] gl_attr_force_inline types::size_type head_size(const hyperedge_type& hyperedge
) const
requires std::same_as<directional_tag, bf_directed_t>
{
return this->head_size(hyperedge.id());
}

private:
// --- vertex methods ---

Expand Down
Loading