full_labeled_multiset_digraph.h

/*
 * Copyright 2026 Michele Comparini
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef GRAPHDOM_FULL_LABELED_MULTISET_DIGRAPH_H
#define GRAPHDOM_FULL_LABELED_MULTISET_DIGRAPH_H
 
#include <forward_list>
 
#include "labeled_vertex_graph.h"
#include "labeled_vertex_multiset_graph.h"
#include "labeled_edge_graph.h"
#include "labeled_edge_non_mixed_graph.h"
 
namespace graphdom {
    template<
        typename VertexType,
        typename VertexLabelType,
        typename EdgeLabelType,
        typename VertexLabellerType = default_vertex_labeller<VertexType,VertexLabelType>,
        typename EdgeLabellerType = default_edge_labeller<VertexType,EdgeLabelType>
    >
    class full_labeled_multiset_digraph final :
        virtual public labeled_vertex_multiset_graph<VertexType,VertexLabelType,VertexLabellerType>,
        virtual public labeled_edge_non_mixed_graph<VertexType,EdgeLabelType,EdgeLabellerType> {
            public:
                full_labeled_multiset_digraph();
                full_labeled_multiset_digraph(const VertexLabellerType& v_lab, const EdgeLabellerType& e_lab);
                explicit full_labeled_multiset_digraph(const VertexLabellerType& v_lab, EdgeLabellerType&& e_lab = EdgeLabellerType());
                full_labeled_multiset_digraph(VertexLabellerType&& v_lab, const EdgeLabellerType& e_lab);
                explicit full_labeled_multiset_digraph(VertexLabellerType&& v_lab, EdgeLabellerType&& e_lab = EdgeLabellerType());
 
                ~full_labeled_multiset_digraph() override;

                [[nodiscard]] std::size_t order() const override;
                [[nodiscard]] const VertexLabelType& get_vertex_label(const typename graph<VertexType>::vertex_const_handle& vertex) const override;
                [[nodiscard]] const EdgeLabelType& get_edge_label(const typename graph<VertexType>::adj_list_const_iterator&) const override;

                void erase_vertex(const typename graphdom::graph<VertexType>::vertex_const_handle& vertex) override;
                [[nodiscard]] typename graphdom::graph<VertexType>::adj_list_iterator erase_edge(const typename graph<VertexType>::adj_list_const_iterator&) override;
                [[nodiscard]] VertexLabelType& get_vertex_label(const typename graph<VertexType>::vertex_const_handle& vertex) override;
                using graphdom::multiset_graph<VertexType>::insert_vertex;
                [[nodiscard]] typename multiset_graph<VertexType>::vertex_handle insert_vertex(const VertexType& v_core, const VertexLabelType& vertex_label) override;
                [[nodiscard]] typename multiset_graph<VertexType>::vertex_handle insert_vertex(const VertexType& v_core, VertexLabelType&& vertex_label) override;
                [[nodiscard]] typename multiset_graph<VertexType>::vertex_handle insert_vertex(VertexType&& v_core, const VertexLabelType& vertex_label) override;
                [[nodiscard]] typename multiset_graph<VertexType>::vertex_handle insert_vertex(VertexType&& v_core, VertexLabelType&& vertex_label) override;
                [[nodiscard]] EdgeLabelType& get_edge_label(const typename graph<VertexType>::adj_list_const_iterator&) override;
                using graphdom::labeled_edge_non_mixed_graph<VertexType,EdgeLabelType,EdgeLabellerType>::insert_edge;
                void insert_edge(const typename graph<VertexType>::vertex_const_handle& tail, const typename graph<VertexType>::vertex_const_handle& head, const EdgeLabelType& edge_label) override;
                void insert_edge(const typename graph<VertexType>::vertex_const_handle& tail, const typename graph<VertexType>::vertex_const_handle& head, EdgeLabelType&& edge_label) override;
            private:
                using VertexContainerPointerType = typename graphdom::multiset_graph<VertexType>::VertexContainerPointerType;
                using edge_endpoint = typename graphdom::multiset_graph<VertexType>::template labeled_directed_edge_endpoint<EdgeLabelType>;
                using vertex_container = typename graphdom::multiset_graph<VertexType>::template non_mixed_graph_labeled_vertex_container<VertexLabelType>;
 
                static void safe_edge_endpoint_deallocation(typename graphdom::graph<VertexType>::template edge_endpoint<VertexContainerPointerType>*);
 
                std::forward_list<vertex_container> vertices;
                std::size_t number_of_vertices_inserted;
    };
}
 
#include "impl/full_labeled_multiset_digraph.h"
 
#endif //GRAPHDOM_FULL_LABELED_MULTISET_DIGRAPH_H