From 99ce28beaf9ae03c9ca3f2652800ae3c094231ab Mon Sep 17 00:00:00 2001
From: Jeremy Siek <jeremy.siek@gmail.com>
Date: Sat, 21 Apr 2001 21:27:20 +0000
Subject: [PATCH] added stuff for isomorphism

[SVN r9850]
---
 include/boost/graph/named_function_params.hpp | 66 +++++++++++++++++--
 include/boost/graph/properties.hpp            |  6 +-
 2 files changed, 67 insertions(+), 5 deletions(-)

diff --git a/include/boost/graph/named_function_params.hpp b/include/boost/graph/named_function_params.hpp
index 80cdc27e..b54d2813 100644
--- a/include/boost/graph/named_function_params.hpp
+++ b/include/boost/graph/named_function_params.hpp
@@ -37,6 +37,8 @@ namespace boost {
   struct buffer_param_t { enum { num = detail::buffer_param_num }; };
   struct edge_copy_t { enum { num = detail::edge_copy_num }; };
   struct vertex_copy_t { enum { num = detail::vertex_copy_num }; };
+  struct vertex_isomorphism_t { enum { num =detail::vertex_isomorphism_num}; };
+  struct vertex_invariant_t { enum { num =detail::vertex_invariant_num}; };
   struct orig_to_copy_t { enum { num = detail::orig_to_copy_num }; };
   
   namespace detail {
@@ -102,6 +104,20 @@ namespace boost {
       return Params(pmap, *this);
     }
 
+    template <typename IndexMap>
+    bgl_named_params<IndexMap, vertex_index1_t, self>
+    vertex_index1_map(const IndexMap& pmap) const {
+      typedef bgl_named_params<IndexMap, vertex_index1_t, self> Params;
+      return Params(pmap, *this);
+    }
+
+    template <typename IndexMap>
+    bgl_named_params<IndexMap, vertex_index2_t, self>
+    vertex_index2_map(const IndexMap& pmap) const {
+      typedef bgl_named_params<IndexMap, vertex_index2_t, self> Params;
+      return Params(pmap, *this);
+    }
+
     template <typename Visitor>
     bgl_named_params<Visitor, graph_visitor_t, self>
     visitor(const Visitor& vis) const {
@@ -166,6 +182,20 @@ namespace boost {
       return Params(c, *this);
     }
 
+    template <typename IsoMap>
+    bgl_named_params<IsoMap, vertex_isomorphism_t, self>
+    isomorphism_map(const IsoMap& c) const {
+      typedef bgl_named_params<IsoMap, vertex_isomorphism_t, self> Params;
+      return Params(c, *this);
+    }
+
+    template <typename VertexInvar>
+    bgl_named_params<VertexInvar, vertex_invariant_t, self>
+    vertex_invariant(const VertexInvar& c) const {
+      typedef bgl_named_params<VertexInvar, vertex_invariant_t, self> Params;
+      return Params(c, *this);
+    }
+
   };
 
   template <typename WeightMap>
@@ -210,6 +240,20 @@ namespace boost {
     return Params(pmap);
   }
 
+  template <typename IndexMap>
+  bgl_named_params<IndexMap, vertex_index1_t>
+  vertex_index1_map(const IndexMap& pmap) {
+    typedef bgl_named_params<IndexMap, vertex_index1_t> Params;
+    return Params(pmap);
+  }
+
+  template <typename IndexMap>
+  bgl_named_params<IndexMap, vertex_index2_t>
+  vertex_index2_map(const IndexMap& pmap) {
+    typedef bgl_named_params<IndexMap, vertex_index2_t> Params;
+    return Params(pmap);
+  }
+
   template <typename Visitor>
   bgl_named_params<Visitor, graph_visitor_t>
   visitor(const Visitor& vis) {
@@ -273,6 +317,20 @@ namespace boost {
     return Params(c);
   }
 
+  template <typename IsoMap>
+  bgl_named_params<IsoMap, vertex_isomorphism_t>
+  isomorphism_map(const IsoMap& c) {
+    typedef bgl_named_params<IsoMap, vertex_isomorphism_t> Params;
+    return Params(c);
+  }
+
+  template <typename VertexInvar>
+  bgl_named_params<VertexInvar, vertex_invariant_t>
+  vertex_invariant(const VertexInvar& c) {
+    typedef bgl_named_params<VertexInvar, vertex_invariant_t> Params;
+    return Params(c);
+  }
+
   //===========================================================================
   // Functions for extracting parameters from bgl_named_params
 
@@ -311,7 +369,7 @@ namespace boost {
       struct bind {
 	typedef const P& const_result_type;
 	typedef P& result_type;
-	static const_result_type apply(const P& p, const Graph&, Tag&)
+	static const_result_type const_apply(const P& p, const Graph&, Tag&)
 	{ return p; }
 	static result_type apply(P& p, Graph&, Tag&)
 	{ return p; }
@@ -326,7 +384,7 @@ namespace boost {
 	  const_result_type;
 
 	static const_result_type
-	apply(const P& p, const Graph& g, Tag tag) { 
+	const_apply(const P& p, const Graph& g, Tag tag) { 
 	  return get(tag, g); 
 	}
 
@@ -363,11 +421,11 @@ namespace boost {
   template <typename Param, typename Graph, typename PropertyTag>
   typename
     detail::choose_pmap_helper<Param,Graph,PropertyTag>::const_result_type
-  choose_pmap(const Param& p, const Graph& g, PropertyTag tag)
+  choose_const_pmap(const Param& p, const Graph& g, PropertyTag tag)
   { 
     typedef typename 
       detail::choose_pmap_helper<Param,Graph,PropertyTag>::type Choice;
-    return Choice::apply(p, g, tag);
+    return Choice::const_apply(p, g, tag);
   }
 
   template <typename Param, typename Graph, typename PropertyTag>
diff --git a/include/boost/graph/properties.hpp b/include/boost/graph/properties.hpp
index d528bd7f..30c92096 100644
--- a/include/boost/graph/properties.hpp
+++ b/include/boost/graph/properties.hpp
@@ -62,7 +62,8 @@ namespace boost {
     // don't do partial specialization (like VC++).
     enum property_tag_num
     {
-      vertex_index_num = 1, edge_index_num, vertex_name_num,
+      vertex_index_num = 1, vertex_index1_num, vertex_index2_num,
+      edge_index_num, vertex_name_num,
       edge_name_num, graph_name_num, edge_weight_num, vertex_distance_num,
       vertex_color_num, vertex_degree_num, vertex_out_degree_num, 
       vertex_in_degree_num, vertex_discover_time_num, vertex_finish_time_num,
@@ -71,6 +72,7 @@ namespace boost {
       distance_compare_num, distance_combine_num, distance_inf_num,
       distance_zero_num, buffer_param_num, edge_copy_num, vertex_copy_num,
       orig_to_copy_num, vertex_rank_num, vertex_predecessor_num,
+      vertex_isomorphism_num, vertex_invariant_num,
       last_property_num
     };
   } // namespace detail
@@ -103,6 +105,8 @@ namespace boost {
   BOOST_DEF_PROPERTY(edge, all);
   BOOST_DEF_PROPERTY(graph, all);
   BOOST_DEF_PROPERTY(vertex, index);
+  BOOST_DEF_PROPERTY(vertex, index1);
+  BOOST_DEF_PROPERTY(vertex, index2);
   BOOST_DEF_PROPERTY(edge, index);
   BOOST_DEF_PROPERTY(edge, name);
   BOOST_DEF_PROPERTY(edge, weight);