r515:c35afa9e89e7
Mon, 12 Jan 2009 23:11:39
[Not Reviewed]
0 comments (0 inline)
0
1
0
| ... | ... |
@@ -1326,161 +1326,138 @@ |
| 1326 | 1326 |
|
| 1327 | 1327 |
checkGraphInArcList(adaptor, n1, 1); |
| 1328 | 1328 |
checkGraphInArcList(adaptor, n2, 1); |
| 1329 | 1329 |
checkGraphInArcList(adaptor, n3, 1); |
| 1330 | 1330 |
|
| 1331 | 1331 |
checkNodeIds(adaptor); |
| 1332 | 1332 |
checkArcIds(adaptor); |
| 1333 | 1333 |
|
| 1334 | 1334 |
checkGraphNodeMap(adaptor); |
| 1335 | 1335 |
checkGraphArcMap(adaptor); |
| 1336 | 1336 |
|
| 1337 | 1337 |
// Check reverseArc() |
| 1338 | 1338 |
adaptor.reverseArc(e2); |
| 1339 | 1339 |
adaptor.reverseArc(e3); |
| 1340 | 1340 |
adaptor.reverseArc(e2); |
| 1341 | 1341 |
|
| 1342 | 1342 |
checkGraphNodeList(adaptor, 3); |
| 1343 | 1343 |
checkGraphArcList(adaptor, 3); |
| 1344 | 1344 |
checkGraphConArcList(adaptor, 3); |
| 1345 | 1345 |
|
| 1346 | 1346 |
checkGraphOutArcList(adaptor, n1, 1); |
| 1347 | 1347 |
checkGraphOutArcList(adaptor, n2, 0); |
| 1348 | 1348 |
checkGraphOutArcList(adaptor, n3, 2); |
| 1349 | 1349 |
|
| 1350 | 1350 |
checkGraphInArcList(adaptor, n1, 1); |
| 1351 | 1351 |
checkGraphInArcList(adaptor, n2, 2); |
| 1352 | 1352 |
checkGraphInArcList(adaptor, n3, 0); |
| 1353 | 1353 |
|
| 1354 | 1354 |
// Check the conversion of nodes and arcs/edges |
| 1355 | 1355 |
Graph::Node ng = n3; |
| 1356 | 1356 |
ng = n3; |
| 1357 | 1357 |
Adaptor::Node na = n1; |
| 1358 | 1358 |
na = n2; |
| 1359 | 1359 |
Graph::Edge eg = e3; |
| 1360 | 1360 |
eg = e3; |
| 1361 | 1361 |
Adaptor::Arc aa = e1; |
| 1362 | 1362 |
aa = e2; |
| 1363 | 1363 |
} |
| 1364 | 1364 |
|
| 1365 | 1365 |
void checkCombiningAdaptors() {
|
| 1366 | 1366 |
// Create a grid graph |
| 1367 | 1367 |
GridGraph graph(2,2); |
| 1368 | 1368 |
GridGraph::Node n1 = graph(0,0); |
| 1369 | 1369 |
GridGraph::Node n2 = graph(0,1); |
| 1370 | 1370 |
GridGraph::Node n3 = graph(1,0); |
| 1371 | 1371 |
GridGraph::Node n4 = graph(1,1); |
| 1372 | 1372 |
|
| 1373 | 1373 |
GridGraph::EdgeMap<bool> dir_map(graph); |
| 1374 |
dir_map[graph.right(n1)] = graph.u(graph.right(n1)) == n1; |
|
| 1375 |
dir_map[graph.up(n1)] = graph.u(graph.up(n1)) != n1; |
|
| 1376 |
dir_map[graph.left(n4)] = graph.u(graph.left(n4)) != n4; |
|
| 1377 |
dir_map[graph.down(n4)] = graph.u(graph.down(n4)) != n4; |
|
| 1374 |
dir_map[graph.right(n1)] = graph.u(graph.right(n1)) != n1; |
|
| 1375 |
dir_map[graph.up(n1)] = graph.u(graph.up(n1)) == n1; |
|
| 1376 |
dir_map[graph.left(n4)] = graph.u(graph.left(n4)) == n4; |
|
| 1377 |
dir_map[graph.down(n4)] = graph.u(graph.down(n4)) == n4; |
|
| 1378 | 1378 |
|
| 1379 | 1379 |
// Apply several adaptors on the grid graph |
| 1380 |
typedef SplitNodes< ReverseDigraph< const Orienter< |
|
| 1381 |
const GridGraph, GridGraph::EdgeMap<bool> > > > |
|
| 1382 |
RevSplitGridGraph; |
|
| 1383 |
typedef ReverseDigraph<const RevSplitGridGraph> SplitGridGraph; |
|
| 1380 |
typedef SplitNodes<Orienter< const GridGraph, GridGraph::EdgeMap<bool> > > |
|
| 1381 |
SplitGridGraph; |
|
| 1384 | 1382 |
typedef Undirector<const SplitGridGraph> USplitGridGraph; |
| 1385 |
typedef Undirector<const USplitGridGraph> UUSplitGridGraph; |
|
| 1386 |
checkConcept<concepts::Digraph, RevSplitGridGraph>(); |
|
| 1387 | 1383 |
checkConcept<concepts::Digraph, SplitGridGraph>(); |
| 1388 | 1384 |
checkConcept<concepts::Graph, USplitGridGraph>(); |
| 1389 |
checkConcept<concepts::Graph, UUSplitGridGraph>(); |
|
| 1390 | 1385 |
|
| 1391 |
RevSplitGridGraph rev_adaptor = |
|
| 1392 |
splitNodes(reverseDigraph(orienter(graph, dir_map))); |
|
| 1393 |
SplitGridGraph adaptor = |
|
| 1386 |
SplitGridGraph adaptor = splitNodes(orienter(graph, dir_map)); |
|
| 1394 | 1387 |
USplitGridGraph uadaptor = undirector(adaptor); |
| 1395 |
UUSplitGridGraph uuadaptor = undirector(uadaptor); |
|
| 1396 | 1388 |
|
| 1397 | 1389 |
// Check adaptor |
| 1398 | 1390 |
checkGraphNodeList(adaptor, 8); |
| 1399 | 1391 |
checkGraphArcList(adaptor, 8); |
| 1400 | 1392 |
checkGraphConArcList(adaptor, 8); |
| 1401 | 1393 |
|
| 1402 |
checkGraphOutArcList(adaptor, rev_adaptor.inNode(n1), 1); |
|
| 1403 |
checkGraphOutArcList(adaptor, rev_adaptor.outNode(n1), 1); |
|
| 1404 |
checkGraphOutArcList(adaptor, rev_adaptor.inNode(n2), 2); |
|
| 1405 |
checkGraphOutArcList(adaptor, rev_adaptor.outNode(n2), 1); |
|
| 1406 |
checkGraphOutArcList(adaptor, rev_adaptor.inNode(n3), 1); |
|
| 1407 |
checkGraphOutArcList(adaptor, rev_adaptor.outNode(n3), 1); |
|
| 1408 |
checkGraphOutArcList(adaptor, rev_adaptor.inNode(n4), 0); |
|
| 1409 |
checkGraphOutArcList(adaptor, rev_adaptor.outNode(n4), 1); |
|
| 1394 |
checkGraphOutArcList(adaptor, adaptor.inNode(n1), 1); |
|
| 1395 |
checkGraphOutArcList(adaptor, adaptor.outNode(n1), 1); |
|
| 1396 |
checkGraphOutArcList(adaptor, adaptor.inNode(n2), 1); |
|
| 1397 |
checkGraphOutArcList(adaptor, adaptor.outNode(n2), 0); |
|
| 1398 |
checkGraphOutArcList(adaptor, adaptor.inNode(n3), 1); |
|
| 1399 |
checkGraphOutArcList(adaptor, adaptor.outNode(n3), 1); |
|
| 1400 |
checkGraphOutArcList(adaptor, adaptor.inNode(n4), 1); |
|
| 1401 |
checkGraphOutArcList(adaptor, adaptor.outNode(n4), 2); |
|
| 1410 | 1402 |
|
| 1411 |
checkGraphInArcList(adaptor, rev_adaptor.inNode(n1), 1); |
|
| 1412 |
checkGraphInArcList(adaptor, rev_adaptor.outNode(n1), 1); |
|
| 1413 |
checkGraphInArcList(adaptor, rev_adaptor.inNode(n2), 1); |
|
| 1414 |
checkGraphInArcList(adaptor, rev_adaptor.outNode(n2), 0); |
|
| 1415 |
checkGraphInArcList(adaptor, rev_adaptor.inNode(n3), 1); |
|
| 1416 |
checkGraphInArcList(adaptor, rev_adaptor.outNode(n3), 1); |
|
| 1417 |
checkGraphInArcList(adaptor, rev_adaptor.inNode(n4), 1); |
|
| 1418 |
checkGraphInArcList(adaptor, rev_adaptor.outNode(n4), 2); |
|
| 1403 |
checkGraphInArcList(adaptor, adaptor.inNode(n1), 1); |
|
| 1404 |
checkGraphInArcList(adaptor, adaptor.outNode(n1), 1); |
|
| 1405 |
checkGraphInArcList(adaptor, adaptor.inNode(n2), 2); |
|
| 1406 |
checkGraphInArcList(adaptor, adaptor.outNode(n2), 1); |
|
| 1407 |
checkGraphInArcList(adaptor, adaptor.inNode(n3), 1); |
|
| 1408 |
checkGraphInArcList(adaptor, adaptor.outNode(n3), 1); |
|
| 1409 |
checkGraphInArcList(adaptor, adaptor.inNode(n4), 0); |
|
| 1410 |
checkGraphInArcList(adaptor, adaptor.outNode(n4), 1); |
|
| 1419 | 1411 |
|
| 1420 | 1412 |
checkNodeIds(adaptor); |
| 1421 | 1413 |
checkArcIds(adaptor); |
| 1422 | 1414 |
|
| 1423 | 1415 |
checkGraphNodeMap(adaptor); |
| 1424 | 1416 |
checkGraphArcMap(adaptor); |
| 1425 | 1417 |
|
| 1426 | 1418 |
// Check uadaptor |
| 1427 | 1419 |
checkGraphNodeList(uadaptor, 8); |
| 1428 | 1420 |
checkGraphEdgeList(uadaptor, 8); |
| 1429 | 1421 |
checkGraphArcList(uadaptor, 16); |
| 1430 | 1422 |
checkGraphConEdgeList(uadaptor, 8); |
| 1431 | 1423 |
checkGraphConArcList(uadaptor, 16); |
| 1432 | 1424 |
|
| 1433 | 1425 |
checkNodeIds(uadaptor); |
| 1434 | 1426 |
checkEdgeIds(uadaptor); |
| 1435 | 1427 |
checkArcIds(uadaptor); |
| 1436 | 1428 |
|
| 1437 | 1429 |
checkGraphNodeMap(uadaptor); |
| 1438 | 1430 |
checkGraphEdgeMap(uadaptor); |
| 1439 | 1431 |
checkGraphArcMap(uadaptor); |
| 1440 | 1432 |
|
| 1441 |
checkGraphIncEdgeArcLists(uadaptor, rev_adaptor.inNode(n1), 2); |
|
| 1442 |
checkGraphIncEdgeArcLists(uadaptor, rev_adaptor.outNode(n1), 2); |
|
| 1443 |
checkGraphIncEdgeArcLists(uadaptor, rev_adaptor.inNode(n2), 3); |
|
| 1444 |
checkGraphIncEdgeArcLists(uadaptor, rev_adaptor.outNode(n2), 1); |
|
| 1445 |
checkGraphIncEdgeArcLists(uadaptor, rev_adaptor.inNode(n3), 2); |
|
| 1446 |
checkGraphIncEdgeArcLists(uadaptor, rev_adaptor.outNode(n3), 2); |
|
| 1447 |
checkGraphIncEdgeArcLists(uadaptor, rev_adaptor.inNode(n4), 1); |
|
| 1448 |
checkGraphIncEdgeArcLists(uadaptor, rev_adaptor.outNode(n4), 3); |
|
| 1449 |
|
|
| 1450 |
// Check uuadaptor |
|
| 1451 |
checkGraphNodeList(uuadaptor, 8); |
|
| 1452 |
checkGraphEdgeList(uuadaptor, 16); |
|
| 1453 |
checkGraphArcList(uuadaptor, 32); |
|
| 1454 |
checkGraphConEdgeList(uuadaptor, 16); |
|
| 1455 |
checkGraphConArcList(uuadaptor, 32); |
|
| 1456 |
|
|
| 1457 |
checkNodeIds(uuadaptor); |
|
| 1458 |
checkEdgeIds(uuadaptor); |
|
| 1459 |
checkArcIds(uuadaptor); |
|
| 1460 |
|
|
| 1461 |
checkGraphNodeMap(uuadaptor); |
|
| 1462 |
checkGraphEdgeMap(uuadaptor); |
|
| 1463 |
|
|
| 1433 |
checkGraphIncEdgeArcLists(uadaptor, adaptor.inNode(n1), 2); |
|
| 1434 |
checkGraphIncEdgeArcLists(uadaptor, adaptor.outNode(n1), 2); |
|
| 1435 |
checkGraphIncEdgeArcLists(uadaptor, adaptor.inNode(n2), 3); |
|
| 1436 |
checkGraphIncEdgeArcLists(uadaptor, adaptor.outNode(n2), 1); |
|
| 1437 |
checkGraphIncEdgeArcLists(uadaptor, adaptor.inNode(n3), 2); |
|
| 1438 |
checkGraphIncEdgeArcLists(uadaptor, adaptor.outNode(n3), 2); |
|
| 1439 |
checkGraphIncEdgeArcLists(uadaptor, adaptor.inNode(n4), 1); |
|
| 1440 |
checkGraphIncEdgeArcLists(uadaptor, adaptor.outNode(n4), 3); |
|
| 1464 | 1441 |
} |
| 1465 | 1442 |
|
| 1466 | 1443 |
int main(int, const char **) {
|
| 1467 | 1444 |
// Check the digraph adaptors (using ListDigraph) |
| 1468 | 1445 |
checkReverseDigraph(); |
| 1469 | 1446 |
checkSubDigraph(); |
| 1470 | 1447 |
checkFilterNodes1(); |
| 1471 | 1448 |
checkFilterArcs(); |
| 1472 | 1449 |
checkUndirector(); |
| 1473 | 1450 |
checkResidualDigraph(); |
| 1474 | 1451 |
checkSplitNodes(); |
| 1475 | 1452 |
|
| 1476 | 1453 |
// Check the graph adaptors (using ListGraph) |
| 1477 | 1454 |
checkSubGraph(); |
| 1478 | 1455 |
checkFilterNodes2(); |
| 1479 | 1456 |
checkFilterEdges(); |
| 1480 | 1457 |
checkOrienter(); |
| 1481 | 1458 |
|
| 1482 | 1459 |
// Combine adaptors (using GridGraph) |
| 1483 | 1460 |
checkCombiningAdaptors(); |
| 1484 | 1461 |
|
| 1485 | 1462 |
return 0; |
| 1486 | 1463 |
} |
0 comments (0 inline)