equal
  deleted
  inserted
  replaced
  
    
    
    39   //  double post_time=currTime();  | 
    39   //  double post_time=currTime();  | 
    40   std::cout << "running time: " << ts << std::endl;  | 
    40   std::cout << "running time: " << ts << std::endl;  | 
    41   | 
    41   | 
    42   //std::cout << "maximum flow: "<< std::endl;  | 
    42   //std::cout << "maximum flow: "<< std::endl;  | 
    43   //for(EachEdgeIt e=G.first<EachEdgeIt>(); e.valid(); ++e) {  | 
    43   //for(EachEdgeIt e=G.first<EachEdgeIt>(); e.valid(); ++e) {  | 
    44   //  std::cout<<"("<<G.tail(e)<< "-"<<flow.get(e)<<"->"<<G.head(e)<<") "; | 
    44   //  std::cout<<"("<<G.source(e)<< "-"<<flow.get(e)<<"->"<<G.target(e)<<") "; | 
    45   //}  | 
    45   //}  | 
    46   //std::cout<<std::endl;  | 
    46   //std::cout<<std::endl;  | 
    47   //  std::cout<<"elapsed time: " << post_time-pre_time << " sec"<< std::endl;   | 
    47   //  std::cout<<"elapsed time: " << post_time-pre_time << " sec"<< std::endl;   | 
    48   std::cout << "flow value: "<< ret << std::endl;  | 
    48   std::cout << "flow value: "<< ret << std::endl;  | 
    49   | 
    49   |