boost/graph/graph_mutability_traits.hpp
// Copyright (C) 2009 Andrew Sutton // // Use, modification and distribution is subject to the Boost Software // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at // http://www.boost.org/LICENSE_1_0.txt) #ifndef BOOST_GRAPH_MUTABILITY_TRAITS_HPP #define BOOST_GRAPH_MUTABILITY_TRAITS_HPP #include <boost/config.hpp> #include <boost/mpl/if.hpp> #include <boost/mpl/and.hpp> #include <boost/mpl/bool.hpp> #include <boost/type_traits/is_same.hpp> namespace boost { // The mutabiltiy categories classify graphs by their mutating operations // on the edge and vertex sets. This is a substantially more refined // categorization than the MutableGraph and MutablePropertyGraph denote. // Currently, this framework is only used in the graph tests to help // dispatch test to the correct places. However, there are probably some // constructive or destructive algorithms (i.e., graph generators) that // may use these to describe requirements on graph inputs. struct add_vertex_tag { }; struct add_vertex_property_tag : virtual add_vertex_tag { }; struct add_edge_tag { }; struct add_edge_property_tag : virtual add_edge_tag { }; struct remove_vertex_tag { }; struct remove_edge_tag { }; struct mutable_vertex_graph_tag : virtual add_vertex_tag, virtual remove_vertex_tag { }; struct mutable_vertex_property_graph_tag : virtual add_vertex_property_tag, virtual remove_vertex_tag { }; struct mutable_edge_graph_tag : virtual add_edge_tag, virtual remove_edge_tag { }; struct mutable_edge_property_graph_tag : virtual add_edge_property_tag, virtual remove_edge_tag { }; struct mutable_graph_tag : virtual mutable_vertex_graph_tag , virtual mutable_edge_graph_tag { }; struct mutable_property_graph_tag : virtual mutable_vertex_property_graph_tag , virtual mutable_edge_property_graph_tag { }; // Some graphs just don't like to be torn down. Note this only restricts // teardown to the set of vertices, not the vertex set. // TODO: Find a better name for this tag. struct add_only_property_graph_tag : virtual add_vertex_property_tag , virtual mutable_edge_property_graph_tag { }; /** * The graph_mutability_traits provide methods for determining the * interfaces supported by graph classes for adding and removing vertices * and edges. */ template <typename Graph> struct graph_mutability_traits { typedef typename Graph::mutability_category category; }; template <typename Graph> struct graph_has_add_vertex : mpl::bool_< is_convertible< typename graph_mutability_traits<Graph>::category, add_vertex_tag >::value > { }; template <typename Graph> struct graph_has_add_vertex_with_property : mpl::bool_< is_convertible< typename graph_mutability_traits<Graph>::category, add_vertex_property_tag >::value > { }; template <typename Graph> struct graph_has_remove_vertex : mpl::bool_< is_convertible< typename graph_mutability_traits<Graph>::category, remove_vertex_tag >::value > { }; template <typename Graph> struct graph_has_add_edge : mpl::bool_< is_convertible< typename graph_mutability_traits<Graph>::category, add_edge_tag >::value > { }; template <typename Graph> struct graph_has_add_edge_with_property : mpl::bool_< is_convertible< typename graph_mutability_traits<Graph>::category, add_edge_property_tag >::value > { }; template <typename Graph> struct graph_has_remove_edge : mpl::bool_< is_convertible< typename graph_mutability_traits<Graph>::category, remove_edge_tag >::value > { }; template <typename Graph> struct is_mutable_vertex_graph : mpl::and_< graph_has_add_vertex<Graph>, graph_has_remove_vertex<Graph> > { }; template <typename Graph> struct is_mutable_vertex_property_graph : mpl::and_< graph_has_add_vertex_with_property<Graph>, graph_has_remove_vertex<Graph> > { }; template <typename Graph> struct is_mutable_edge_graph : mpl::and_< graph_has_add_edge<Graph>, graph_has_remove_edge<Graph> > { }; template <typename Graph> struct is_mutable_edge_property_graph : mpl::and_< graph_has_add_edge_with_property<Graph>, graph_has_remove_edge<Graph> > { }; template <typename Graph> struct is_mutable_graph : mpl::and_< is_mutable_vertex_graph<Graph>, is_mutable_edge_graph<Graph> > { }; template <typename Graph> struct is_mutable_property_graph : mpl::and_< is_mutable_vertex_property_graph<Graph>, is_mutable_edge_property_graph<Graph> > { }; template <typename Graph> struct is_add_only_property_graph : mpl::bool_< is_convertible< typename graph_mutability_traits<Graph>::category, add_only_property_graph_tag >::value > { }; /** @name Mutability Traits Specializations */ //@{ //@} } // namespace boost #endif