/*

 reverse_bfs

 by jacint

 Performs a bfs on the out edges. It does not count predecessors, 

 only the distances, but one can easily modify it to know the pred as well.

 Constructor: 

 reverse_bfs(graph_type& G, node_iterator t)

 Member functions:

 void run(): runs a reverse bfs from t

   The following function should be used after run() was already run.

 int dist(node_iterator v) : returns the distance from v to t. It is the number of nodes if t is not reachable from v.

 */

 #ifndef REVERSE_BFS_HH

 #define REVERSE_BFS_HH

 #include <queue>

 //#include <marci_list_graph.hh>

 //#include <marci_property_vector.hh>

 namespace  marci {

   template <typename graph_type>

   class reverse_bfs {

     typedef typename graph_type::NodeIt NodeIt;

     typedef typename graph_type::EdgeIt EdgeIt;

     typedef typename graph_type::EachNodeIt EachNodeIt;

     typedef typename graph_type::EachEdgeIt EachEdgeIt;

     typedef typename graph_type::OutEdgeIt OutEdgeIt;

     typedef typename graph_type::InEdgeIt InEdgeIt;

     typedef typename graph_type::SymEdgeIt SymEdgeIt;

     graph_type& G;

     NodeIt t;

 //    node_property_vector<graph_type, edge_iterator> pred;

     //node_property_vector<graph_type, int>

     typename graph_type::NodeMap<int> distance;

   public :

     /*

       The distance of the nodes is n, except t for which it is 0.

     */

     reverse_bfs(graph_type& _G, NodeIt _t) : 

       G(_G), t(_t), 

       distance(G, G.nodeNum()) {

       distance.set(t,0);

     }

     void run() {

       //node_property_vector<graph_type, bool> 

       typename graph_type::NodeMap<bool> reached(G, false); 

       reached.set(t, true);

       std::queue<NodeIt> bfs_queue;

       bfs_queue.push(t);

       while (!bfs_queue.empty()) {

         NodeIt v=bfs_queue.front();	

 	bfs_queue.pop();

 	for(InEdgeIt e=G.template first<InEdgeIt>(v); e.valid(); ++e) {

 	  NodeIt w=G.tail(e);

 	  if (!reached.get(w)) {

 	    bfs_queue.push(w);

 	    distance.set(w, distance.get(v)+1);

 	    reached.set(w, true);

 	  }

 	}

       }

     }

     int dist(NodeIt v) {

       return distance.get(v);

     }

   };

 } // namespace marci

 #endif //REVERSE_BFS_HH