graph.h

/*
 * Copyright 2026 Michele Comparini
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef GRAPHDOM_GRAPH_H
#define GRAPHDOM_GRAPH_H
 
#include <cstdint>
#include <cstddef>
#include <memory>
#include <set>
#include <utility>

namespace graphdom{}
 
namespace graphdom {
    enum edge_type : std::uint8_t {
        undirected = 0, 
        directed = 1 
    };
}
 
namespace graphdom {

    template <typename VertexType>
    class graph {
        public:
            class vertex_handle;
            class vertex_const_handle;
            class adj_list;
            class const_adj_list;
            class adj_list_iterator;
            class adj_list_const_iterator;

            virtual ~graph() = default;


            [[nodiscard]] virtual std::size_t order() const = 0;


            virtual void erase_vertex(const vertex_const_handle& vertex) = 0;
            [[nodiscard]] virtual adj_list_iterator erase_edge(const adj_list_const_iterator&) = 0;

        protected:
            template <typename VertexContainerPointerType>
            class vertex_base_handle;
            template <typename VertexContainerPointerType>
            class base_adj_list;
            template <typename VertexContainerPointerType>
            class adj_list_base_iterator;
 
            class vertex_container;
            template<typename VertexContainerPointerType>
            class edge_endpoint;
            template <typename VertexContainerPointerType, typename EdgeLabelType>
            class labeled_directed_edge_endpoint;
            template <typename VertexContainerPointerType, typename EdgeLabelType>
            class labeled_undirected_edge_endpoint;
            template<typename VertexContainerPointerType>
            class custom_edge_endpoint_less;
            template<typename VertexContainerPointerType>
            using adj_set = std::set< edge_endpoint<VertexContainerPointerType>* , custom_edge_endpoint_less<VertexContainerPointerType> >;
            enum graph_edges_type : std::uint8_t {
                undirected = edge_type::undirected,
                directed = edge_type::directed,
                mixed
            };
            enum edges_type_selection_type : uint8_t {
                undirected_edges = edge_type::undirected,
                directed_edges = edge_type::directed,
                none
            };
            template<typename VertexContainerPointerType>
            class non_mixed_graph_vertex_container;
            template<typename VertexContainerPointerType>
            class mixed_graph_vertex_container;
            template<typename VertexContainerPointerType, typename VertexLabelType>
            class non_mixed_graph_labeled_vertex_container;
            template<typename VertexContainerPointerType, typename VertexLabelType>
            class mixed_graph_labeled_vertex_container;
 
            static vertex_handle vertex_handle_factory(
                const graphdom::graph<VertexType>*,
                const graphdom::graph<VertexType>::non_mixed_graph_vertex_container<const vertex_container*>&,
                graphdom::edge_type non_mixed_graph_type
            );
 
            static vertex_handle vertex_handle_factory(
                const graphdom::graph<VertexType>*,
                const graphdom::graph<VertexType>::mixed_graph_vertex_container<const vertex_container*>&
            );
 
            static vertex_const_handle vertex_const_handle_factory(
                const graphdom::graph<VertexType>*,
                const graphdom::graph<VertexType>::non_mixed_graph_vertex_container<const vertex_container*>&,
                graphdom::edge_type non_mixed_graph_type
            );
 
            static vertex_const_handle vertex_const_handle_factory(
                const graphdom::graph<VertexType>*,
                const graphdom::graph<VertexType>::mixed_graph_vertex_container<const vertex_container*>&
            );
 
            static const graphdom::graph<VertexType>* get_owner_graph(const graphdom::graph<VertexType>::vertex_const_handle&);
 
            static const vertex_container* get_vertex_container(const graphdom::graph<VertexType>::vertex_const_handle&);
 
            static const graphdom::graph<VertexType>* get_owner_graph(const graphdom::graph<VertexType>::adj_list_const_iterator&);
 
            static const graphdom::graph<VertexType>::vertex_container* get_begin_point(const graphdom::graph<VertexType>::adj_list_const_iterator&);
    };
}
 
#include "detail/vertex_container.h"
#include "detail/edge_endpoint.h"
#include "detail/labeled_directed_edge_endpoint.h"
#include "detail/labeled_undirected_edge_endpoint.h"
#include "detail/custom_edge_endpoint_less.h"
#include "detail/non_mixed_graph_vertex_container.h"
#include "detail/mixed_graph_vertex_container.h"
#include "detail/non_mixed_graph_labeled_vertex_container.h"
#include "detail/mixed_graph_labeled_vertex_container.h"
 
#include "detail/vertex_base_handle.h"
#include "detail/vertex_handle.h"
#include "detail/vertex_const_handle.h"
#include "detail/base_adj_list.h"
#include "detail/adj_list.h"
#include "detail/const_adj_list.h"
#include "detail/adj_list_base_iterator.h"
#include "detail/adj_list_iterator.h"
#include "detail/adj_list_const_iterator.h"
 
#include "impl/graph.h"
 
#endif //GRAPHDOM_GRAPH_H