| // 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 |