equal
deleted
inserted
replaced
84 typedef Graph::NodeMap<bool> CutMap; |
84 typedef Graph::NodeMap<bool> CutMap; |
85 |
85 |
86 typedef Preflow<Graph, int> PType; |
86 typedef Preflow<Graph, int> PType; |
87 |
87 |
88 std::string f_name; |
88 std::string f_name; |
89 if( getenv("srcdir") ) { |
89 if( getenv("srcdir") ) |
90 f_name = std::string(getenv("srcdir")) + "/preflow_graph.dim"; |
90 f_name = std::string(getenv("srcdir")); |
91 } |
91 else f_name = "."; |
92 else { |
92 f_name += "/preflow_graph.dim"; |
93 f_name = "preflow_graph.dim"; |
|
94 } |
|
95 |
93 |
96 std::ifstream file(f_name.c_str()); |
94 std::ifstream file(f_name.c_str()); |
97 |
95 |
98 check(file, "Input file '" << f_name << "' not found."); |
96 check(file, "Input file '" << f_name << "' not found."); |
99 |
97 |