equal
deleted
inserted
replaced
67 typedef Graph::EdgeMap<int> FlowMap; |
67 typedef Graph::EdgeMap<int> FlowMap; |
68 typedef Graph::NodeMap<bool> CutMap; |
68 typedef Graph::NodeMap<bool> CutMap; |
69 |
69 |
70 typedef Preflow<Graph, int> PType; |
70 typedef Preflow<Graph, int> PType; |
71 |
71 |
72 string f_name; |
72 std::string f_name; |
73 if( getenv("srcdir") ) { |
73 if( getenv("srcdir") ) { |
74 f_name = string(getenv("srcdir")) + "/preflow_graph.inp"; |
74 f_name = std::string(getenv("srcdir")) + "/preflow_graph.inp"; |
75 } |
75 } |
76 else { |
76 else { |
77 f_name = "preflow_graph.inp"; |
77 f_name = "preflow_graph.inp"; |
78 } |
78 } |
79 |
79 |