// -*- c++ -*-

 #include <iostream>

 #include <fstream>

 #include <list>

 #include <hugo/dimacs.h>

 #include <bfs_dfs_misc.h>

 #include <sage_graph.h>

 #include <hugo/graph_wrapper.h>

 #include <hugo/maps.h>

 #include <hugo/for_each_macros.h>

 using namespace hugo;

 using std::cout;

 using std::endl;

 int main() {

   typedef SageGraph Graph;

   Graph g;

   readDimacs(std::cin, g); 

   {

     std::list<Graph::Node> l;

     //NullMap<Graph::Node, Graph::Edge> pred;

     Graph::NodeMap<Graph::Edge> pred(g, INVALID);

     topSort(g, l, pred);

     cout << "Leaving order of dfs which is pretopological..." << endl;

     for(std::list<Graph::Node>::const_iterator i=l.begin(); i!=l.end(); ++i) {

       cout << *i << " ";

     }

     cout << endl;

     FOR_EACH_LOC(Graph::NodeIt, n, g) {

       cout << "pred of node " << n << " is " << pred[n] << endl;

     }

   }

   {

     typedef RevGraphWrapper<Graph> GW;

     GW gw(g);

     std::list<GW::Node> l;

     //NullMap<GW::Node, GW::Edge> pred;

     GW::NodeMap<Graph::Edge> pred(gw, INVALID);

     topSort(gw, l, pred);

     cout << "Same in the reversed oriented graph..." << endl;

     for(std::list<GW::Node>::const_iterator i=l.begin(); i!=l.end(); ++i) {

       cout << *i << " ";

     }

     cout << endl;

     FOR_EACH_LOC(GW::NodeIt, n, gw) {

       cout << "pred of node " << n << " is " << pred[n] << endl;

     }

   }

   return 0;

 }