equal
deleted
inserted
replaced
23 while (is>>c) { |
23 while (is>>c) { |
24 switch (c) { |
24 switch (c) { |
25 case 'c': //comment |
25 case 'c': //comment |
26 getline(is, str); |
26 getline(is, str); |
27 break; |
27 break; |
28 // case 't': //type |
|
29 // getline(is, str); |
|
30 // break; |
|
31 case 'p': //problem definition |
28 case 'p': //problem definition |
32 is >> problem >> n >> m; |
29 is >> problem >> n >> m; |
33 getline(is, str); |
30 getline(is, str); |
34 nodes.resize(n+1); |
31 nodes.resize(n+1); |
35 for (int k=1; k<=n; ++k) nodes[k]=G.addNode(); |
32 for (int k=1; k<=n; ++k) nodes[k]=G.addNode(); |