equal
deleted
inserted
replaced
14 |
14 |
15 int main(int argc, char *argv[]) |
15 int main(int argc, char *argv[]) |
16 { |
16 { |
17 if(argc<2) |
17 if(argc<2) |
18 { |
18 { |
19 std::cerr << "USAGE: coloring <input_file.lgf>" << std::endl; |
19 std::cerr << "USAGE: coloring input_file.lgf" << std::endl; |
20 std::cerr << "The file 'input_file.lgf' has to contain a graph in LEMON format together with a nodemap called 'coords' to draw the graph (e.g. sample.lgf is not such a file)." << std::endl; |
20 std::cerr << "The file 'input_file.lgf' has to contain a graph in LEMON format together with a nodemap called 'coords' to draw the graph (e.g. sample.lgf is not such a file)." << std::endl; |
21 return 0; |
21 return 0; |
22 } |
22 } |
23 |
23 |
24 |
24 |