remaining tests

Author: SpectraL519

include/hgl/hypergraph.hpp

@@ -351,6 +351,20 @@ class hypergraph final {
         this->unbind(vertex.id(), hyperedge.id());
     }
 
+    [[nodiscard]] bool are_incident(
+        const types::id_type vertex_id, const types::id_type hyperedge_id
+    ) const {
+        this->_verify_vertex_id(vertex_id);
+        this->_verify_hyperedge_id(hyperedge_id);
+        return this->_impl.are_bound(vertex_id, hyperedge_id);
+    }
+
+    [[nodiscard]] gl_attr_force_inline bool are_incident(
+        const vertex_type& vertex, const hyperedge_type& hyperedge
+    ) const {
+        return this->are_incident(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)

tests/source/hgl/test_hypergraph.cpp

@@ -376,6 +376,66 @@ TEST_CASE_TEMPLATE_DEFINE(
 
     // --- incidence method tests ---
 
+    SUBCASE("bind, unbind and are_incident should throw if either of the fiven elements is invalid"
+    ) {
+        sut_type sut{constants::n_vertices, constants::n_hyperedges};
+
+        CHECK_THROWS_AS(
+            sut.bind(constants::out_of_rng_vid, constants::out_of_rng_eid), std::out_of_range
+        );
+        CHECK_THROWS_AS(sut.bind(constants::id1, constants::out_of_rng_eid), std::out_of_range);
+        CHECK_THROWS_AS(sut.bind(constants::out_of_rng_vid, constants::id1), std::out_of_range);
+
+        CHECK_THROWS_AS(
+            sut.unbind(constants::out_of_rng_vid, constants::out_of_rng_eid), std::out_of_range
+        );
+        CHECK_THROWS_AS(sut.unbind(constants::id1, constants::out_of_rng_eid), std::out_of_range);
+        CHECK_THROWS_AS(sut.unbind(constants::out_of_rng_vid, constants::id1), std::out_of_range);
+
+        CHECK_THROWS_AS(
+            static_cast<void>(sut.are_incident(constants::out_of_rng_vid, constants::out_of_rng_eid)
+            ),
+            std::out_of_range
+        );
+        CHECK_THROWS_AS(
+            static_cast<void>(sut.are_incident(constants::id1, constants::out_of_rng_eid)),
+            std::out_of_range
+        );
+        CHECK_THROWS_AS(
+            static_cast<void>(sut.are_incident(constants::out_of_rng_vid, constants::id1)),
+            std::out_of_range
+        );
+    }
+
+    SUBCASE("are_incident should return false by default") {
+        sut_type sut{constants::n_vertices, constants::n_hyperedges};
+        for (const auto vertex : sut.vertices())
+            for (const auto hyperedge : sut.hyperedges())
+                CHECK_FALSE(sut.are_incident(vertex, hyperedge));
+    }
+
+    SUBCASE("bind should properly mark the given vertex and hyperedge as incident and unbind "
+            "should mark them as not incident") {
+        constexpr auto vertex_id = constants::id1;
+        constexpr auto hyperedge_id = constants::id2;
+        constexpr auto unbound_id = constants::id3;
+
+        sut_type sut{constants::n_vertices, constants::n_hyperedges};
+        REQUIRE_FALSE(sut.are_incident(vertex_id, hyperedge_id));
+        REQUIRE_FALSE(sut.are_incident(vertex_id, unbound_id));
+        REQUIRE_FALSE(sut.are_incident(unbound_id, hyperedge_id));
+
+        sut.bind(vertex_id, hyperedge_id);
+        CHECK(sut.are_incident(vertex_id, hyperedge_id));
+        CHECK_FALSE(sut.are_incident(vertex_id, unbound_id));
+        CHECK_FALSE(sut.are_incident(unbound_id, hyperedge_id));
+
+        sut.unbind(vertex_id, hyperedge_id);
+        CHECK_FALSE(sut.are_incident(vertex_id, hyperedge_id));
+        CHECK_FALSE(sut.are_incident(vertex_id, unbound_id));
+        CHECK_FALSE(sut.are_incident(unbound_id, hyperedge_id));
+    }
+
     SUBCASE("incident_hyperedges and degree should throw if the given vertex (id) is invalid") {
         sut_type sut{constants::n_vertices, constants::n_hyperedges};
         CHECK_THROWS_AS(