// -*- c++ -*-

#include <iostream>

#include <vector>

#include <string>

#include <list_graph.h>

#include <smart_graph.h>

#include <bfs_iterator.h>

#include <graph_wrapper.h>

using namespace hugo;

using std::cout; 

using std::endl;

using std::string;

template <typename Graph, typename NodeNameMap>

class EdgeNameMap {

  Graph& graph;

  NodeNameMap& node_name_map;

public:

  EdgeNameMap(Graph& _graph, NodeNameMap& _node_name_map) : 

    graph(_graph), node_name_map(_node_name_map) { }

  string get(typename Graph::Edge e) const { 

    return 

      (node_name_map.get(graph.tail(e))+"->"+node_name_map.get(graph.head(e)));

  }

};

int main (int, char*[])

{

  //typedef SmartGraph Graph;

  typedef ListGraph Graph;

  typedef Graph::Node Node;

  typedef Graph::Edge Edge;

  Graph G;

  Node s=G.addNode();

  Node v1=G.addNode();

  Node v2=G.addNode();

  Node v3=G.addNode();

  Node v4=G.addNode();

  Node t=G.addNode();

  Graph::NodeMap<string> node_name(G);

  node_name.set(s, "s");

  node_name.set(v1, "v1");

  node_name.set(v2, "v2");

  node_name.set(v3, "v3");

  node_name.set(v4, "v4");

  node_name.set(t, "t");

  G.addEdge(s, v1);

  G.addEdge(s, v2);

  G.addEdge(v1, v2);

  G.addEdge(v2, v1);

  G.addEdge(v1, v3);

  G.addEdge(v3, v2);

  G.addEdge(v2, v4);

  G.addEdge(v4, v3);

  G.addEdge(v3, t);

  G.addEdge(v4, t);

  cout << "    /-->    ------------->            "<< endl;

  cout << "   / /-- v1 <-\\      /---- v3-\\      "<< endl;

  cout << "  / |          |    /  /->     \\     "<< endl;

  cout << " /  |          |   /  |    ^    \\  "<< endl;

  cout << "s   |          |  /   |    |     \\->  t "<< endl;

  cout << " \\  |          | /    |    |     /->  "<< endl;

  cout << "  \\ |       --/ /     |    |    /     "<< endl;

  cout << "   \\ \\-> v2 <--/       \\-- v4 -/      "<< endl;

  cout << "    \\-->    ------------->         "<< endl;

//   typedef TrivGraphWrapper<const Graph> CGW;

//   CGW gw(G);

//   cout << "bfs and dfs demo on the directed graph" << endl;

//   for(CGW::NodeIt n=gw.first<CGW::NodeIt>(); n.valid(); ++n) { 

//     cout << n << ": ";

//     cout << "out edges: ";

//     for(CGW::OutEdgeIt e=gw.first<CGW::OutEdgeIt>(n); e.valid(); ++e) 

//       cout << e << " ";

//     cout << "in edges: ";

//     for(CGW::InEdgeIt e=gw.first<CGW::InEdgeIt>(n); e.valid(); ++e) 

//       cout << e << " ";

//     cout << endl;

//   }

  {

    typedef TrivGraphWrapper<const Graph> GW;

    GW gw(G);

    EdgeNameMap< GW, Graph::NodeMap<string> > edge_name(gw, node_name);

    cout << "bfs and dfs iterator demo on the directed graph" << endl;

    for(GW::NodeIt n(gw); gw.valid(n); gw.next(n)) { 

      cout << node_name.get(n) << ": ";

      cout << "out edges: ";

      for(GW::OutEdgeIt e(gw, n); gw.valid(e); gw.next(e)) 

	cout << edge_name.get(e) << " ";

      cout << "in edges: ";

      for(GW::InEdgeIt e(gw, n); gw.valid(e); gw.next(e)) 

	cout << edge_name.get(e) << " ";

      cout << endl;

    }

    cout << "bfs from s ..." << endl;

    BfsIterator5< GW, GW::NodeMap<bool> > bfs(gw);

    bfs.pushAndSetReached(s);

    while (!bfs.finished()) {

      //cout << "edge: ";

      if (gw.valid(bfs)) {

	cout << edge_name.get(bfs) << /*endl*/", " << 

	  node_name.get(gw.aNode(bfs)) << 

	  (bfs.isANodeExamined() ? ": is examined, " : ": is not examined, ") << 

	  node_name.get(gw.bNode(bfs)) << 

	  (bfs.isBNodeNewlyReached() ? ": is newly reached." : 

	   ": is not newly reached.");

      } else { 

	cout << "invalid" << /*endl*/", " << 

	  node_name.get(bfs.aNode()) << 

	  (bfs.isANodeExamined() ? ": is examined, " : ": is not examined, ") << 

	  "invalid.";

      }

      cout << endl;

      ++bfs;

    }

    cout << "    /-->    ------------->            "<< endl;

    cout << "   / /-- v1 <-\\      /---- v3-\\      "<< endl;

    cout << "  / |          |    /  /->     \\     "<< endl;

    cout << " /  |          |   /  |    ^    \\  "<< endl;

    cout << "s   |          |  /   |    |     \\->  t "<< endl;

    cout << " \\  |          | /    |    |     /->  "<< endl;

    cout << "  \\ |       --/ /     |    |    /     "<< endl;

    cout << "   \\ \\-> v2 <--/       \\-- v4 -/      "<< endl;

    cout << "    \\-->    ------------->         "<< endl;

    cout << "dfs from s ..." << endl;

    DfsIterator5< GW, GW::NodeMap<bool> > dfs(gw);

    dfs.pushAndSetReached(s);

    while (!dfs.finished()) {

      ++dfs;

      //cout << "edge: ";

      if (gw.valid(dfs)) {

	cout << edge_name.get(dfs) << /*endl*/", " << 

	  node_name.get(gw.aNode(dfs)) << 

	  (dfs.isANodeExamined() ? ": is examined, " : ": is not examined, ") << 

	  node_name.get(gw.bNode(dfs)) << 

	  (dfs.isBNodeNewlyReached() ? ": is newly reached." : 

	   ": is not newly reached.");

      } else { 

	cout << "invalid" << /*endl*/", " << 

	  node_name.get(dfs.aNode()) << 

	  (dfs.isANodeExamined() ? ": is examined, " : ": is not examined, ") << 

	  "invalid.";

      }

      cout << endl;

    }

  }

  {

    typedef RevGraphWrapper<const TrivGraphWrapper<const Graph> > GW;

    GW gw(G);

    EdgeNameMap< GW, Graph::NodeMap<string> > edge_name(gw, node_name);

    cout << "bfs and dfs iterator demo on the reversed directed graph" << endl;

    for(GW::NodeIt n(gw); gw.valid(n); gw.next(n)) { 

      cout << node_name.get(n) << ": ";

      cout << "out edges: ";

      for(GW::OutEdgeIt e(gw, n); gw.valid(e); gw.next(e)) 

	cout << edge_name.get(e) << " ";

      cout << "in edges: ";

      for(GW::InEdgeIt e(gw, n); gw.valid(e); gw.next(e)) 

	cout << edge_name.get(e) << " ";

      cout << endl;

    }

    cout << "bfs from t ..." << endl;

    BfsIterator5< GW, GW::NodeMap<bool> > bfs(gw);

    bfs.pushAndSetReached(t);

    while (!bfs.finished()) {

      //cout << "edge: ";

      if (gw.valid(bfs)) {

	cout << edge_name.get(bfs) << /*endl*/", " << 

	  node_name.get(gw.aNode(bfs)) << 

	  (bfs.isANodeExamined() ? ": is examined, " : ": is not examined, ") << 

	  node_name.get(gw.bNode(bfs)) << 

	  (bfs.isBNodeNewlyReached() ? ": is newly reached." : 

	   ": is not newly reached.");

      } else { 

	cout << "invalid" << /*endl*/", " << 

	  node_name.get(bfs.aNode()) << 

	  (bfs.isANodeExamined() ? ": is examined, " : ": is not examined, ") << 

	  "invalid.";

      }

      cout << endl;

      ++bfs;

    }

    cout << "    /-->    ------------->            "<< endl;

    cout << "   / /-- v1 <-\\      /---- v3-\\      "<< endl;

    cout << "  / |          |    /  /->     \\     "<< endl;

    cout << " /  |          |   /  |    ^    \\  "<< endl;

    cout << "s   |          |  /   |    |     \\->  t "<< endl;

    cout << " \\  |          | /    |    |     /->  "<< endl;

    cout << "  \\ |       --/ /     |    |    /     "<< endl;

    cout << "   \\ \\-> v2 <--/       \\-- v4 -/      "<< endl;

    cout << "    \\-->    ------------->         "<< endl;

    cout << "dfs from t ..." << endl;

    DfsIterator5< GW, GW::NodeMap<bool> > dfs(gw);

    dfs.pushAndSetReached(t);

    while (!dfs.finished()) {

      ++dfs;

      //cout << "edge: ";

      if (gw.valid(dfs)) {

	cout << edge_name.get(dfs) << /*endl*/", " << 

	  node_name.get(gw.aNode(dfs)) << 

	  (dfs.isANodeExamined() ? ": is examined, " : ": is not examined, ") << 

	  node_name.get(gw.bNode(dfs)) << 

	  (dfs.isBNodeNewlyReached() ? ": is newly reached." : 

	   ": is not newly reached.");

      } else { 

	cout << "invalid" << /*endl*/", " << 

	  node_name.get(dfs.aNode()) << 

	  (dfs.isANodeExamined() ? ": is examined, " : ": is not examined, ") << 

	  "invalid.";

      }

      cout << endl;

    }

  }

  {

    //typedef UndirGraphWrapper<const Graph> GW;

    typedef UndirGraphWrapper<const TrivGraphWrapper<const Graph> > GW;

    GW gw(G);

    EdgeNameMap< GW, Graph::NodeMap<string> > edge_name(gw, node_name);

    cout << "bfs and dfs iterator demo on the undirected graph" << endl;

    for(GW::NodeIt n(gw); gw.valid(n); gw.next(n)) { 

      cout << node_name.get(n) << ": ";

      cout << "out edges: ";

      for(GW::OutEdgeIt e(gw, n); gw.valid(e); gw.next(e)) 

	cout << edge_name.get(e) << " ";

      cout << "in edges: ";

      for(GW::InEdgeIt e(gw, n); gw.valid(e); gw.next(e)) 

	cout << edge_name.get(e) << " ";

      cout << endl;

    }

//     for(GW::EdgeIt e=gw.first<GW::EdgeIt>(); gw.valid(e); gw.next(e)) { 

//       cout << edge_name.get(e) << " ";

//     }

//     cout << endl;

    cout << "bfs from t ..." << endl;

    BfsIterator5< GW, GW::NodeMap<bool> > bfs(gw);

    bfs.pushAndSetReached(t);

    while (!bfs.finished()) {

      //cout << "edge: ";

      if (gw.valid(GW::OutEdgeIt(bfs))) {

	cout << edge_name.get(GW::OutEdgeIt(bfs)) << /*endl*/", " << 

	  node_name.get(gw.aNode(bfs)) << 

	  (bfs.isANodeExamined() ? ": is examined, " : ": is not examined, ") << 

	  node_name.get(gw.bNode(bfs)) << 

	  (bfs.isBNodeNewlyReached() ? ": is newly reached." : 

	   ": is not newly reached.");

      } else { 

	cout << "invalid" << /*endl*/", " << 

	  node_name.get(bfs.aNode()) << 

	  (bfs.isANodeExamined() ? ": is examined, " : ": is not examined, ") << 

	  "invalid.";

      }

      cout << endl;

      ++bfs;

    }

    cout << "    /-->    ------------->            "<< endl;

    cout << "   / /-- v1 <-\\      /---- v3-\\      "<< endl;

    cout << "  / |          |    /  /->     \\     "<< endl;

    cout << " /  |          |   /  |    ^    \\  "<< endl;

    cout << "s   |          |  /   |    |     \\->  t "<< endl;

    cout << " \\  |          | /    |    |     /->  "<< endl;

    cout << "  \\ |       --/ /     |    |    /     "<< endl;

    cout << "   \\ \\-> v2 <--/       \\-- v4 -/      "<< endl;

    cout << "    \\-->    ------------->         "<< endl;

    cout << "dfs from t ..." << endl;

    DfsIterator5< GW, GW::NodeMap<bool> > dfs(gw);

    dfs.pushAndSetReached(t);

    while (!dfs.finished()) {

      ++dfs;

      //cout << "edge: ";

      if (gw.valid(GW::OutEdgeIt(dfs))) {

	cout << edge_name.get(GW::OutEdgeIt(dfs)) << /*endl*/", " << 

	  node_name.get(gw.aNode(dfs)) << 

	  (dfs.isANodeExamined() ? ": is examined, " : ": is not examined, ") << 

	  node_name.get(gw.bNode(dfs)) << 

	  (dfs.isBNodeNewlyReached() ? ": is newly reached." : 

	   ": is not newly reached.");

      } else { 

	cout << "invalid" << /*endl*/", " << 

	  node_name.get(dfs.aNode()) << 

	  (dfs.isANodeExamined() ? ": is examined, " : ": is not examined, ") << 

	  "invalid.";

      }

      cout << endl;

    }

  }

  return 0;

}