equal
  deleted
  inserted
  replaced
  
    
    
     5 #include <dimacs.hh>  | 
     5 #include <dimacs.hh>  | 
     6 #include <preflow_push_max_flow.h>  | 
     6 #include <preflow_push_max_flow.h>  | 
     7 #include <preflow_push_hl.h>  | 
     7 #include <preflow_push_hl.h>  | 
     8 #include <time_measure.h>  | 
     8 #include <time_measure.h>  | 
     9   | 
     9   | 
    10 using namespace marci;  | 
    10 using namespace hugo;  | 
    11   | 
    11   | 
    12 // Use a DIMACS max flow file as stdin.  | 
    12 // Use a DIMACS max flow file as stdin.  | 
    13 // read_dimacs_demo < dimacs_max_flow_file  | 
    13 // read_dimacs_demo < dimacs_max_flow_file  | 
    14 int main(int, char **) { | 
    14 int main(int, char **) { | 
    15   typedef ListGraph::NodeIt NodeIt;  | 
    15   typedef ListGraph::NodeIt NodeIt;  |