equal
deleted
inserted
replaced
47 digraphReader("digraph.lgf", g). // read the directed graph into g |
47 digraphReader("digraph.lgf", g). // read the directed graph into g |
48 arcMap("capacity", cap). // read the 'capacity' arc map into cap |
48 arcMap("capacity", cap). // read the 'capacity' arc map into cap |
49 node("source", s). // read 'source' node to s |
49 node("source", s). // read 'source' node to s |
50 node("target", t). // read 'target' node to t |
50 node("target", t). // read 'target' node to t |
51 run(); |
51 run(); |
52 } catch (DataFormatError& error) { // check if there was any error |
52 } catch (Exception& error) { // check if there was any error |
53 std::cerr << "Error: " << error.what() << std::endl; |
53 std::cerr << "Error: " << error.what() << std::endl; |
54 return -1; |
54 return -1; |
55 } |
55 } |
56 |
56 |
57 std::cout << "A digraph is read from 'digraph.lgf'." << std::endl; |
57 std::cout << "A digraph is read from 'digraph.lgf'." << std::endl; |