//  (C) Copyright Jeremy Siek 2004
//  Distributed under 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)

/*
  Sample output:

  After initializing properties for G1:
          Global and local properties for vertex G0[C]...
                  G0[C]= A1
                  G1[A1]= A1
          Global and local properties for vertex G0[E]...
                  G0[E]= B1
                  G1[B1]= B1
          Global and local properties for vertex G0[F]...
                  G0[F]= C1
                  G1[C1]= C1


  After initializing properties for G2:
          Global and local properties for vertex G0[A]
                  G0[A]= A2
                  G2[A2]= A2
          Global and local properties for vertex G0[C]...
                  G0[C]= B2
                  G1[A1]= B2
                  G2[B2]= B2

 */

#include <boost/config.hpp>
#include <iostream>
#include <boost/graph/subgraph.hpp>
#include <boost/graph/adjacency_list.hpp>
#include <boost/graph/graph_utility.hpp>

int main(int, char*[])
{
    using namespace boost;
    // typedef adjacency_list_traits<vecS, vecS, directedS> Traits;// Does
    // nothing?
    typedef property< vertex_color_t, int,
        property< vertex_name_t, std::string > >
        VertexProperty;

    typedef subgraph< adjacency_list< vecS, vecS, directedS, VertexProperty,
        property< edge_index_t, int > > >
        Graph;

    const int N = 6;
    Graph G0(N);
    enum
    {
        A,
        B,
        C,
        D,
        E,
        F
    }; // for conveniently refering to vertices in G0

    property_map< Graph, vertex_name_t >::type name = get(vertex_name_t(), G0);
    name[A] = "A";
    name[B] = "B";
    name[C] = "C";
    name[D] = "D";
    name[E] = "E";
    name[F] = "F";

    Graph& G1 = G0.create_subgraph();
    enum
    {
        A1,
        B1,
        C1
    }; // for conveniently refering to vertices in G1

    add_vertex(C, G1); // global vertex C becomes local A1 for G1
    add_vertex(E, G1); // global vertex E becomes local B1 for G1
    add_vertex(F, G1); // global vertex F becomes local C1 for G1

    property_map< Graph, vertex_name_t >::type name1 = get(vertex_name_t(), G1);
    name1[A1] = "A1";

    std::cout << std::endl
              << "After initializing properties for G1:" << std::endl;
    std::cout << "  Global and local properties for vertex G0[C]..."
              << std::endl;
    std::cout << "    G0[C]= " << boost::get(vertex_name, G0, vertex(C, G0))
              << std::endl; // prints: "G0[C]= C"
    std::cout << "    G1[A1]= " << boost::get(vertex_name, G1, vertex(A1, G1))
              << std::endl; // prints: "G1[A1]= A1"

    name1[B1] = "B1";

    std::cout << "  Global and local properties for vertex G0[E]..."
              << std::endl;
    std::cout << "    G0[E]= " << boost::get(vertex_name, G0, vertex(E, G0))
              << std::endl; // prints: "G0[E]= E"
    std::cout << "    G1[B1]= " << boost::get(vertex_name, G1, vertex(B1, G1))
              << std::endl; // prints: "G1[B1]= B1"

    name1[C1] = "C1";

    std::cout << "  Global and local properties for vertex G0[F]..."
              << std::endl;
    std::cout << "    G0[F]= " << boost::get(vertex_name, G0, vertex(F, G0))
              << std::endl; // prints: "G0[F]= F"
    std::cout << "    G1[C1]= " << boost::get(vertex_name, G1, vertex(C1, G1))
              << std::endl; // prints: "G1[C1]= C1"

    Graph& G2 = G0.create_subgraph();
    enum
    {
        A2,
        B2
    }; // for conveniently refering to vertices in G2

    add_vertex(A, G2); // global vertex A becomes local A2 for G2
    add_vertex(C, G2); // global vertex C becomes local B2 for G2

    property_map< Graph, vertex_name_t >::type name2 = get(vertex_name_t(), G2);
    name2[A2] = "A2";

    std::cout << std::endl
              << std::endl
              << "After initializing properties for G2:" << std::endl;
    std::cout << "  Global and local properties for vertex G0[A]" << std::endl;
    std::cout << "    G0[A]= " << boost::get(vertex_name, G0, vertex(A, G0))
              << std::endl; // prints: "G0[A]= A"
    std::cout << "    G2[A2]= " << boost::get(vertex_name, G2, vertex(A2, G2))
              << std::endl; // prints: "G2[A2]= A2"

    name2[B2] = "B2";

    std::cout << "  Global and local properties for vertex G0[C]..."
              << std::endl;
    std::cout << "    G0[C]= " << boost::get(vertex_name, G0, vertex(C, G0))
              << std::endl; // prints: "G0[C]= C"
    std::cout << "    G1[A1]= " << boost::get(vertex_name, G1, vertex(A1, G1))
              << std::endl; // prints: "G1[A1]= A1"
    std::cout << "    G2[B2]= " << boost::get(vertex_name, G2, vertex(B2, G2))
              << std::endl; // prints: "G2[B2]= B2"

    return 0;
}
