367 checkGraphRedNodeList(G, redNum); |
367 checkGraphRedNodeList(G, redNum); |
368 checkGraphBlueNodeList(G, blueNum); |
368 checkGraphBlueNodeList(G, blueNum); |
369 checkGraphEdgeList(G, redNum * blueNum); |
369 checkGraphEdgeList(G, redNum * blueNum); |
370 checkGraphArcList(G, 2 * redNum * blueNum); |
370 checkGraphArcList(G, 2 * redNum * blueNum); |
371 |
371 |
372 for (RedIt n(G); n != INVALID; ++n) { |
372 for (RedNodeIt n(G); n != INVALID; ++n) { |
373 checkGraphOutArcList(G, n, blueNum); |
373 checkGraphOutArcList(G, n, blueNum); |
374 checkGraphInArcList(G, n, blueNum); |
374 checkGraphInArcList(G, n, blueNum); |
375 checkGraphIncEdgeList(G, n, blueNum); |
375 checkGraphIncEdgeList(G, n, blueNum); |
376 } |
376 } |
377 |
377 |
378 for (BlueIt n(G); n != INVALID; ++n) { |
378 for (BlueNodeIt n(G); n != INVALID; ++n) { |
379 checkGraphOutArcList(G, n, redNum); |
379 checkGraphOutArcList(G, n, redNum); |
380 checkGraphInArcList(G, n, redNum); |
380 checkGraphInArcList(G, n, redNum); |
381 checkGraphIncEdgeList(G, n, redNum); |
381 checkGraphIncEdgeList(G, n, redNum); |
382 } |
382 } |
383 |
383 |
391 checkBlueNodeIds(G); |
391 checkBlueNodeIds(G); |
392 checkArcIds(G); |
392 checkArcIds(G); |
393 checkEdgeIds(G); |
393 checkEdgeIds(G); |
394 |
394 |
395 checkGraphNodeMap(G); |
395 checkGraphNodeMap(G); |
396 checkGraphRedMap(G); |
396 checkGraphRedNodeMap(G); |
397 checkGraphBlueMap(G); |
397 checkGraphBlueNodeMap(G); |
398 checkGraphArcMap(G); |
398 checkGraphArcMap(G); |
399 checkGraphEdgeMap(G); |
399 checkGraphEdgeMap(G); |
400 |
400 |
401 for (int i = 0; i < G.redNum(); ++i) { |
401 for (int i = 0; i < G.redNum(); ++i) { |
402 check(G.red(G.redNode(i)), "Wrong node"); |
402 check(G.red(G.redNode(i)), "Wrong node"); |