equal
deleted
inserted
replaced
443 |
443 |
444 checkNodeIds(G); |
444 checkNodeIds(G); |
445 checkArcIds(G); |
445 checkArcIds(G); |
446 checkGraphNodeMap(G); |
446 checkGraphNodeMap(G); |
447 checkGraphArcMap(G); |
447 checkGraphArcMap(G); |
|
448 |
|
449 int n = G.nodeNum(); |
|
450 int m = G.arcNum(); |
|
451 check(G.index(G.node(n-1)) == n-1, "Wrong index."); |
|
452 check(G.index(G.arc(m-1)) == m-1, "Wrong index."); |
448 } |
453 } |
449 |
454 |
450 void checkFullDigraph(int num) { |
455 void checkFullDigraph(int num) { |
451 typedef FullDigraph Digraph; |
456 typedef FullDigraph Digraph; |
452 DIGRAPH_TYPEDEFS(Digraph); |
457 DIGRAPH_TYPEDEFS(Digraph); |