0
12
1
| 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
|
| 2 |
* |
|
| 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
|
| 4 |
* |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
|
| 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
|
| 8 |
* |
|
| 9 |
* Permission to use, modify and distribute this software is granted |
|
| 10 |
* provided that this copyright notice appears in all copies. For |
|
| 11 |
* precise terms see the accompanying LICENSE file. |
|
| 12 |
* |
|
| 13 |
* This software is provided "AS IS" with no warranty of any kind, |
|
| 14 |
* express or implied, and with no claim as to its suitability for any |
|
| 15 |
* purpose. |
|
| 16 |
* |
|
| 17 |
*/ |
|
| 18 |
|
|
| 19 |
#include <lemon/list_graph.h> |
|
| 20 |
#include <lemon/lgf_reader.h> |
|
| 21 |
#include "test_tools.h" |
|
| 22 |
|
|
| 23 |
using namespace lemon; |
|
| 24 |
|
|
| 25 |
char test_lgf[] = |
|
| 26 |
"@nodes\n" |
|
| 27 |
"label\n" |
|
| 28 |
"0\n" |
|
| 29 |
"1\n" |
|
| 30 |
"@arcs\n" |
|
| 31 |
" label\n" |
|
| 32 |
"0 1 0\n" |
|
| 33 |
"1 0 1\n" |
|
| 34 |
"@attributes\n" |
|
| 35 |
"source 0\n" |
|
| 36 |
"target 1\n"; |
|
| 37 |
|
|
| 38 |
char test_lgf_nomap[] = |
|
| 39 |
"@nodes\n" |
|
| 40 |
"label\n" |
|
| 41 |
"0\n" |
|
| 42 |
"1\n" |
|
| 43 |
"@arcs\n" |
|
| 44 |
" -\n" |
|
| 45 |
"0 1\n"; |
|
| 46 |
|
|
| 47 |
char test_lgf_bad1[] = |
|
| 48 |
"@nodes\n" |
|
| 49 |
"label\n" |
|
| 50 |
"0\n" |
|
| 51 |
"1\n" |
|
| 52 |
"@arcs\n" |
|
| 53 |
" - another\n" |
|
| 54 |
"0 1\n"; |
|
| 55 |
|
|
| 56 |
char test_lgf_bad2[] = |
|
| 57 |
"@nodes\n" |
|
| 58 |
"label\n" |
|
| 59 |
"0\n" |
|
| 60 |
"1\n" |
|
| 61 |
"@arcs\n" |
|
| 62 |
" label -\n" |
|
| 63 |
"0 1\n"; |
|
| 64 |
|
|
| 65 |
|
|
| 66 |
int main() |
|
| 67 |
{
|
|
| 68 |
{
|
|
| 69 |
ListDigraph d; |
|
| 70 |
ListDigraph::Node s,t; |
|
| 71 |
ListDigraph::ArcMap<int> label(d); |
|
| 72 |
std::istringstream input(test_lgf); |
|
| 73 |
digraphReader(d, input). |
|
| 74 |
node("source", s).
|
|
| 75 |
node("target", t).
|
|
| 76 |
arcMap("label", label).
|
|
| 77 |
run(); |
|
| 78 |
check(countNodes(d) == 2,"There should be 2 nodes"); |
|
| 79 |
check(countArcs(d) == 2,"There should be 2 arcs"); |
|
| 80 |
} |
|
| 81 |
{
|
|
| 82 |
ListGraph g; |
|
| 83 |
ListGraph::Node s,t; |
|
| 84 |
ListGraph::EdgeMap<int> label(g); |
|
| 85 |
std::istringstream input(test_lgf); |
|
| 86 |
graphReader(g, input). |
|
| 87 |
node("source", s).
|
|
| 88 |
node("target", t).
|
|
| 89 |
edgeMap("label", label).
|
|
| 90 |
run(); |
|
| 91 |
check(countNodes(g) == 2,"There should be 2 nodes"); |
|
| 92 |
check(countEdges(g) == 2,"There should be 2 arcs"); |
|
| 93 |
} |
|
| 94 |
|
|
| 95 |
{
|
|
| 96 |
ListDigraph d; |
|
| 97 |
std::istringstream input(test_lgf_nomap); |
|
| 98 |
digraphReader(d, input). |
|
| 99 |
run(); |
|
| 100 |
check(countNodes(d) == 2,"There should be 2 nodes"); |
|
| 101 |
check(countArcs(d) == 1,"There should be 1 arc"); |
|
| 102 |
} |
|
| 103 |
{
|
|
| 104 |
ListGraph g; |
|
| 105 |
std::istringstream input(test_lgf_nomap); |
|
| 106 |
graphReader(g, input). |
|
| 107 |
run(); |
|
| 108 |
check(countNodes(g) == 2,"There should be 2 nodes"); |
|
| 109 |
check(countEdges(g) == 1,"There should be 1 edge"); |
|
| 110 |
} |
|
| 111 |
|
|
| 112 |
{
|
|
| 113 |
ListDigraph d; |
|
| 114 |
std::istringstream input(test_lgf_bad1); |
|
| 115 |
bool ok=false; |
|
| 116 |
try {
|
|
| 117 |
digraphReader(d, input). |
|
| 118 |
run(); |
|
| 119 |
} |
|
| 120 |
catch (FormatError&) |
|
| 121 |
{
|
|
| 122 |
ok = true; |
|
| 123 |
} |
|
| 124 |
check(ok,"FormatError exception should have occured"); |
|
| 125 |
} |
|
| 126 |
{
|
|
| 127 |
ListGraph g; |
|
| 128 |
std::istringstream input(test_lgf_bad1); |
|
| 129 |
bool ok=false; |
|
| 130 |
try {
|
|
| 131 |
graphReader(g, input). |
|
| 132 |
run(); |
|
| 133 |
} |
|
| 134 |
catch (FormatError&) |
|
| 135 |
{
|
|
| 136 |
ok = true; |
|
| 137 |
} |
|
| 138 |
check(ok,"FormatError exception should have occured"); |
|
| 139 |
} |
|
| 140 |
|
|
| 141 |
{
|
|
| 142 |
ListDigraph d; |
|
| 143 |
std::istringstream input(test_lgf_bad2); |
|
| 144 |
bool ok=false; |
|
| 145 |
try {
|
|
| 146 |
digraphReader(d, input). |
|
| 147 |
run(); |
|
| 148 |
} |
|
| 149 |
catch (FormatError&) |
|
| 150 |
{
|
|
| 151 |
ok = true; |
|
| 152 |
} |
|
| 153 |
check(ok,"FormatError exception should have occured"); |
|
| 154 |
} |
|
| 155 |
{
|
|
| 156 |
ListGraph g; |
|
| 157 |
std::istringstream input(test_lgf_bad2); |
|
| 158 |
bool ok=false; |
|
| 159 |
try {
|
|
| 160 |
graphReader(g, input). |
|
| 161 |
run(); |
|
| 162 |
} |
|
| 163 |
catch (FormatError&) |
|
| 164 |
{
|
|
| 165 |
ok = true; |
|
| 166 |
} |
|
| 167 |
check(ok,"FormatError exception should have occured"); |
|
| 168 |
} |
|
| 169 |
} |
| ... | ... |
@@ -20,7 +20,7 @@ |
| 20 | 20 |
* Peter Kovacs <kpeter@inf.elte.hu> |
| 21 | 21 |
* Akos Ladanyi <ladanyi@tmit.bme.hu> |
| 22 | 22 |
* Marton Makai <marci@cs.elte.hu> |
| 23 | 23 |
* Jacint Szabo <jacint@cs.elte.hu> |
| 24 | 24 |
|
| 25 | 25 |
Again, please visit the history of the old LEMON repository for more |
| 26 |
details: http://lemon.cs.elte.hu/ |
|
| 26 |
details: http://lemon.cs.elte.hu/hg/lemon-0.x |
|
| ... | ... |
No newline at end of file |
| ... | ... |
@@ -60,31 +60,42 @@ |
| 60 | 60 |
label coordinates size title |
| 61 | 61 |
1 (10,20) 10 "First node" |
| 62 | 62 |
2 (80,80) 8 "Second node" |
| 63 | 63 |
3 (40,10) 10 "Third node" |
| 64 | 64 |
\endcode |
| 65 | 65 |
|
| 66 |
The \c \@arcs section is very similar to the \c \@nodes section, |
|
| 67 |
it again starts with a header line describing the names of the maps, |
|
| 68 |
but the \c "label" map is not obligatory here. The following lines |
|
| 69 |
describe the arcs. The first two tokens of each line are |
|
| 70 |
|
|
| 66 |
The \c \@arcs section is very similar to the \c \@nodes section, it |
|
| 67 |
again starts with a header line describing the names of the maps, but |
|
| 68 |
the \c "label" map is not obligatory here. The following lines |
|
| 69 |
describe the arcs. The first two tokens of each line are the source |
|
| 70 |
and the target node of the arc, respectively, then come the map |
|
| 71 | 71 |
values. The source and target tokens must be node labels. |
| 72 | 72 |
|
| 73 | 73 |
\code |
| 74 | 74 |
@arcs |
| 75 | 75 |
capacity |
| 76 | 76 |
1 2 16 |
| 77 | 77 |
1 3 12 |
| 78 | 78 |
2 3 18 |
| 79 | 79 |
\endcode |
| 80 | 80 |
|
| 81 |
If there is no map in the \c \@arcs section at all, then it must be |
|
| 82 |
indicated by a sole '-' sign in the first line. |
|
| 83 |
|
|
| 84 |
\code |
|
| 85 |
@arcs |
|
| 86 |
- |
|
| 87 |
1 2 |
|
| 88 |
1 3 |
|
| 89 |
2 3 |
|
| 90 |
\endcode |
|
| 91 |
|
|
| 81 | 92 |
The \c \@edges is just a synonym of \c \@arcs. The \@arcs section can |
| 82 | 93 |
also store the edge set of an undirected graph. In such case there is |
| 83 | 94 |
a conventional method for store arc maps in the file, if two columns |
| 84 |
|
|
| 95 |
have the same caption with \c '+' and \c '-' prefix, then these columns |
|
| 85 | 96 |
can be regarded as the values of an arc map. |
| 86 | 97 |
|
| 87 | 98 |
The \c \@attributes section contains key-value pairs, each line |
| 88 | 99 |
consists of two tokens, an attribute name, and then an attribute |
| 89 | 100 |
value. The value of the attribute could be also a label value of a |
| 90 | 101 |
node or an edge, or even an edge label prefixed with \c '+' or \c '-', |
| ... | ... |
@@ -46,13 +46,13 @@ |
| 46 | 46 |
++len; |
| 47 | 47 |
} |
| 48 | 48 |
return len; |
| 49 | 49 |
} |
| 50 | 50 |
|
| 51 | 51 |
bool empty() const {
|
| 52 |
return predMap[target] |
|
| 52 |
return predMap[target] == INVALID; |
|
| 53 | 53 |
} |
| 54 | 54 |
|
| 55 | 55 |
class RevArcIt {
|
| 56 | 56 |
public: |
| 57 | 57 |
RevArcIt() {}
|
| 58 | 58 |
RevArcIt(Invalid) : path(0), current(INVALID) {}
|
| ... | ... |
@@ -120,13 +120,13 @@ |
| 120 | 120 |
++len; |
| 121 | 121 |
} |
| 122 | 122 |
return len; |
| 123 | 123 |
} |
| 124 | 124 |
|
| 125 | 125 |
bool empty() const {
|
| 126 |
return source |
|
| 126 |
return predMatrixMap(source, target) == INVALID; |
|
| 127 | 127 |
} |
| 128 | 128 |
|
| 129 | 129 |
class RevArcIt {
|
| 130 | 130 |
public: |
| 131 | 131 |
RevArcIt() {}
|
| 132 | 132 |
RevArcIt(Invalid) : path(0), current(INVALID) {}
|
| ... | ... |
@@ -391,12 +391,13 @@ |
| 391 | 391 |
|
| 392 | 392 |
template <typename Digraph, typename Enable = void> |
| 393 | 393 |
struct DigraphCopySelector {
|
| 394 | 394 |
template <typename From, typename NodeRefMap, typename ArcRefMap> |
| 395 | 395 |
static void copy(const From& from, Digraph &to, |
| 396 | 396 |
NodeRefMap& nodeRefMap, ArcRefMap& arcRefMap) {
|
| 397 |
to.clear(); |
|
| 397 | 398 |
for (typename From::NodeIt it(from); it != INVALID; ++it) {
|
| 398 | 399 |
nodeRefMap[it] = to.addNode(); |
| 399 | 400 |
} |
| 400 | 401 |
for (typename From::ArcIt it(from); it != INVALID; ++it) {
|
| 401 | 402 |
arcRefMap[it] = to.addArc(nodeRefMap[from.source(it)], |
| 402 | 403 |
nodeRefMap[from.target(it)]); |
| ... | ... |
@@ -418,12 +419,13 @@ |
| 418 | 419 |
|
| 419 | 420 |
template <typename Graph, typename Enable = void> |
| 420 | 421 |
struct GraphCopySelector {
|
| 421 | 422 |
template <typename From, typename NodeRefMap, typename EdgeRefMap> |
| 422 | 423 |
static void copy(const From& from, Graph &to, |
| 423 | 424 |
NodeRefMap& nodeRefMap, EdgeRefMap& edgeRefMap) {
|
| 425 |
to.clear(); |
|
| 424 | 426 |
for (typename From::NodeIt it(from); it != INVALID; ++it) {
|
| 425 | 427 |
nodeRefMap[it] = to.addNode(); |
| 426 | 428 |
} |
| 427 | 429 |
for (typename From::EdgeIt it(from); it != INVALID; ++it) {
|
| 428 | 430 |
edgeRefMap[it] = to.addEdge(nodeRefMap[from.u(it)], |
| 429 | 431 |
nodeRefMap[from.v(it)]); |
| ... | ... |
@@ -554,13 +554,13 @@ |
| 554 | 554 |
///- the distance of \c t from the root in the %DFS tree. |
| 555 | 555 |
/// |
| 556 | 556 |
///\pre init() must be called and a root node should be |
| 557 | 557 |
///added with addSource() before using this function. |
| 558 | 558 |
void start(Node t) |
| 559 | 559 |
{
|
| 560 |
while ( !emptyQueue() && |
|
| 560 |
while ( !emptyQueue() && !(*_reached)[t] ) |
|
| 561 | 561 |
processNextArc(); |
| 562 | 562 |
} |
| 563 | 563 |
|
| 564 | 564 |
///Executes the algorithm until a condition is met. |
| 565 | 565 |
|
| 566 | 566 |
///Executes the algorithm until a condition is met. |
| ... | ... |
@@ -1506,13 +1506,13 @@ |
| 1506 | 1506 |
/// - the %DFS path to \c t, |
| 1507 | 1507 |
/// - the distance of \c t from the root in the %DFS tree. |
| 1508 | 1508 |
/// |
| 1509 | 1509 |
/// \pre init() must be called and a root node should be added |
| 1510 | 1510 |
/// with addSource() before using this function. |
| 1511 | 1511 |
void start(Node t) {
|
| 1512 |
while ( !emptyQueue() && |
|
| 1512 |
while ( !emptyQueue() && !(*_reached)[t] ) |
|
| 1513 | 1513 |
processNextArc(); |
| 1514 | 1514 |
} |
| 1515 | 1515 |
|
| 1516 | 1516 |
/// \brief Executes the algorithm until a condition is met. |
| 1517 | 1517 |
/// |
| 1518 | 1518 |
/// Executes the algorithm until a condition is met. |
| ... | ... |
@@ -681,15 +681,15 @@ |
| 681 | 681 |
|
| 682 | 682 |
char cbuf[26]; |
| 683 | 683 |
ctime_r(&tv.tv_sec,cbuf); |
| 684 | 684 |
os << cbuf; |
| 685 | 685 |
#else |
| 686 | 686 |
os << bits::getWinFormattedDate(); |
| 687 |
os << std::endl; |
|
| 687 | 688 |
#endif |
| 688 | 689 |
} |
| 689 |
os << std::endl; |
|
| 690 | 690 |
|
| 691 | 691 |
if (_autoArcWidthScale) {
|
| 692 | 692 |
double max_w=0; |
| 693 | 693 |
for(ArcIt e(g);e!=INVALID;++e) |
| 694 | 694 |
max_w=std::max(double(_arcWidths[e]),max_w); |
| 695 | 695 |
if(max_w>EPSILON) {
|
| 1 | 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
| 2 | 2 |
* |
| 3 | 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
| 4 | 4 |
* |
| 5 |
* Copyright (C) 2003- |
|
| 5 |
* Copyright (C) 2003-2011 |
|
| 6 | 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
| 7 | 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
| 8 | 8 |
* |
| 9 | 9 |
* Permission to use, modify and distribute this software is granted |
| 10 | 10 |
* provided that this copyright notice appears in all copies. For |
| 11 | 11 |
* precise terms see the accompanying LICENSE file. |
| ... | ... |
@@ -961,12 +961,19 @@ |
| 961 | 961 |
{
|
| 962 | 962 |
std::map<std::string, int> maps; |
| 963 | 963 |
|
| 964 | 964 |
std::string map; |
| 965 | 965 |
int index = 0; |
| 966 | 966 |
while (_reader_bits::readToken(line, map)) {
|
| 967 |
if(map == "-") {
|
|
| 968 |
if(index!=0) |
|
| 969 |
throw FormatError("'-' is not allowed as a map name");
|
|
| 970 |
else if (line >> std::ws >> c) |
|
| 971 |
throw FormatError("Extra character at the end of line");
|
|
| 972 |
else break; |
|
| 973 |
} |
|
| 967 | 974 |
if (maps.find(map) != maps.end()) {
|
| 968 | 975 |
std::ostringstream msg; |
| 969 | 976 |
msg << "Multiple occurence of arc map: " << map; |
| 970 | 977 |
throw FormatError(msg.str()); |
| 971 | 978 |
} |
| 972 | 979 |
maps.insert(std::make_pair(map, index)); |
| ... | ... |
@@ -1831,12 +1838,19 @@ |
| 1831 | 1838 |
{
|
| 1832 | 1839 |
std::map<std::string, int> maps; |
| 1833 | 1840 |
|
| 1834 | 1841 |
std::string map; |
| 1835 | 1842 |
int index = 0; |
| 1836 | 1843 |
while (_reader_bits::readToken(line, map)) {
|
| 1844 |
if(map == "-") {
|
|
| 1845 |
if(index!=0) |
|
| 1846 |
throw FormatError("'-' is not allowed as a map name");
|
|
| 1847 |
else if (line >> std::ws >> c) |
|
| 1848 |
throw FormatError("Extra character at the end of line");
|
|
| 1849 |
else break; |
|
| 1850 |
} |
|
| 1837 | 1851 |
if (maps.find(map) != maps.end()) {
|
| 1838 | 1852 |
std::ostringstream msg; |
| 1839 | 1853 |
msg << "Multiple occurence of edge map: " << map; |
| 1840 | 1854 |
throw FormatError(msg.str()); |
| 1841 | 1855 |
} |
| 1842 | 1856 |
maps.insert(std::make_pair(map, index)); |
| ... | ... |
@@ -22,12 +22,13 @@ |
| 22 | 22 |
test/graph_copy_test \ |
| 23 | 23 |
test/graph_test \ |
| 24 | 24 |
test/graph_utils_test \ |
| 25 | 25 |
test/hao_orlin_test \ |
| 26 | 26 |
test/heap_test \ |
| 27 | 27 |
test/kruskal_test \ |
| 28 |
test/lgf_test \ |
|
| 28 | 29 |
test/maps_test \ |
| 29 | 30 |
test/matching_test \ |
| 30 | 31 |
test/min_cost_arborescence_test \ |
| 31 | 32 |
test/min_cost_flow_test \ |
| 32 | 33 |
test/path_test \ |
| 33 | 34 |
test/preflow_test \ |
| ... | ... |
@@ -67,12 +68,13 @@ |
| 67 | 68 |
test_graph_copy_test_SOURCES = test/graph_copy_test.cc |
| 68 | 69 |
test_graph_test_SOURCES = test/graph_test.cc |
| 69 | 70 |
test_graph_utils_test_SOURCES = test/graph_utils_test.cc |
| 70 | 71 |
test_heap_test_SOURCES = test/heap_test.cc |
| 71 | 72 |
test_kruskal_test_SOURCES = test/kruskal_test.cc |
| 72 | 73 |
test_hao_orlin_test_SOURCES = test/hao_orlin_test.cc |
| 74 |
test_lgf_test_SOURCES = test/lgf_test.cc |
|
| 73 | 75 |
test_lp_test_SOURCES = test/lp_test.cc |
| 74 | 76 |
test_maps_test_SOURCES = test/maps_test.cc |
| 75 | 77 |
test_mip_test_SOURCES = test/mip_test.cc |
| 76 | 78 |
test_matching_test_SOURCES = test/matching_test.cc |
| 77 | 79 |
test_min_cost_arborescence_test_SOURCES = test/min_cost_arborescence_test.cc |
| 78 | 80 |
test_min_cost_flow_test_SOURCES = test/min_cost_flow_test.cc |
| ... | ... |
@@ -47,13 +47,16 @@ |
| 47 | 47 |
"4 2 4\n" |
| 48 | 48 |
"4 5 5\n" |
| 49 | 49 |
"5 0 6\n" |
| 50 | 50 |
"6 3 7\n" |
| 51 | 51 |
"@attributes\n" |
| 52 | 52 |
"source 0\n" |
| 53 |
"target 5\n" |
|
| 53 |
"target 5\n" |
|
| 54 |
"source1 6\n" |
|
| 55 |
"target1 3\n"; |
|
| 56 |
|
|
| 54 | 57 |
|
| 55 | 58 |
void checkDfsCompile() |
| 56 | 59 |
{
|
| 57 | 60 |
typedef concepts::Digraph Digraph; |
| 58 | 61 |
typedef Dfs<Digraph> DType; |
| 59 | 62 |
typedef Digraph::Node Node; |
| ... | ... |
@@ -176,17 +179,20 @@ |
| 176 | 179 |
template <class Digraph> |
| 177 | 180 |
void checkDfs() {
|
| 178 | 181 |
TEMPLATE_DIGRAPH_TYPEDEFS(Digraph); |
| 179 | 182 |
|
| 180 | 183 |
Digraph G; |
| 181 | 184 |
Node s, t; |
| 185 |
Node s1, t1; |
|
| 182 | 186 |
|
| 183 | 187 |
std::istringstream input(test_lgf); |
| 184 | 188 |
digraphReader(G, input). |
| 185 | 189 |
node("source", s).
|
| 186 | 190 |
node("target", t).
|
| 191 |
node("source1", s1).
|
|
| 192 |
node("target1", t1).
|
|
| 187 | 193 |
run(); |
| 188 | 194 |
|
| 189 | 195 |
Dfs<Digraph> dfs_test(G); |
| 190 | 196 |
dfs_test.run(s); |
| 191 | 197 |
|
| 192 | 198 |
Path<Digraph> p = dfs_test.path(t); |
| ... | ... |
@@ -207,12 +213,17 @@ |
| 207 | 213 |
<< dfs_test.dist(v) << ")"); |
| 208 | 214 |
} |
| 209 | 215 |
} |
| 210 | 216 |
} |
| 211 | 217 |
|
| 212 | 218 |
{
|
| 219 |
Dfs<Digraph> dfs(G); |
|
| 220 |
check(dfs.run(s1,t1) && dfs.reached(t1),"Node 3 is reachable from Node 6."); |
|
| 221 |
} |
|
| 222 |
|
|
| 223 |
{
|
|
| 213 | 224 |
NullMap<Node,Arc> myPredMap; |
| 214 | 225 |
dfs(G).predMap(myPredMap).run(s); |
| 215 | 226 |
} |
| 216 | 227 |
} |
| 217 | 228 |
|
| 218 | 229 |
int main() |
| ... | ... |
@@ -26,12 +26,13 @@ |
| 26 | 26 |
using namespace std; |
| 27 | 27 |
using namespace lemon; |
| 28 | 28 |
|
| 29 | 29 |
void digraph_copy_test() {
|
| 30 | 30 |
const int nn = 10; |
| 31 | 31 |
|
| 32 |
// Build a digraph |
|
| 32 | 33 |
SmartDigraph from; |
| 33 | 34 |
SmartDigraph::NodeMap<int> fnm(from); |
| 34 | 35 |
SmartDigraph::ArcMap<int> fam(from); |
| 35 | 36 |
SmartDigraph::Node fn = INVALID; |
| 36 | 37 |
SmartDigraph::Arc fa = INVALID; |
| 37 | 38 |
|
| ... | ... |
@@ -48,12 +49,13 @@ |
| 48 | 49 |
SmartDigraph::Arc arc = from.addArc(fnv[i], fnv[j]); |
| 49 | 50 |
fam[arc] = i + j * j; |
| 50 | 51 |
if (i == 0 && j == 0) fa = arc; |
| 51 | 52 |
} |
| 52 | 53 |
} |
| 53 | 54 |
|
| 55 |
// Test digraph copy |
|
| 54 | 56 |
ListDigraph to; |
| 55 | 57 |
ListDigraph::NodeMap<int> tnm(to); |
| 56 | 58 |
ListDigraph::ArcMap<int> tam(to); |
| 57 | 59 |
ListDigraph::Node tn; |
| 58 | 60 |
ListDigraph::Arc ta; |
| 59 | 61 |
|
| ... | ... |
@@ -65,12 +67,15 @@ |
| 65 | 67 |
|
| 66 | 68 |
digraphCopy(from, to). |
| 67 | 69 |
nodeMap(fnm, tnm).arcMap(fam, tam). |
| 68 | 70 |
nodeRef(nr).arcRef(er). |
| 69 | 71 |
nodeCrossRef(ncr).arcCrossRef(ecr). |
| 70 | 72 |
node(fn, tn).arc(fa, ta).run(); |
| 73 |
|
|
| 74 |
check(countNodes(from) == countNodes(to), "Wrong copy."); |
|
| 75 |
check(countArcs(from) == countArcs(to), "Wrong copy."); |
|
| 71 | 76 |
|
| 72 | 77 |
for (SmartDigraph::NodeIt it(from); it != INVALID; ++it) {
|
| 73 | 78 |
check(ncr[nr[it]] == it, "Wrong copy."); |
| 74 | 79 |
check(fnm[it] == tnm[nr[it]], "Wrong copy."); |
| 75 | 80 |
} |
| 76 | 81 |
|
| ... | ... |
@@ -87,17 +92,24 @@ |
| 87 | 92 |
|
| 88 | 93 |
for (ListDigraph::ArcIt it(to); it != INVALID; ++it) {
|
| 89 | 94 |
check(er[ecr[it]] == it, "Wrong copy."); |
| 90 | 95 |
} |
| 91 | 96 |
check(tn == nr[fn], "Wrong copy."); |
| 92 | 97 |
check(ta == er[fa], "Wrong copy."); |
| 98 |
|
|
| 99 |
// Test repeated copy |
|
| 100 |
digraphCopy(from, to).run(); |
|
| 101 |
|
|
| 102 |
check(countNodes(from) == countNodes(to), "Wrong copy."); |
|
| 103 |
check(countArcs(from) == countArcs(to), "Wrong copy."); |
|
| 93 | 104 |
} |
| 94 | 105 |
|
| 95 | 106 |
void graph_copy_test() {
|
| 96 | 107 |
const int nn = 10; |
| 97 | 108 |
|
| 109 |
// Build a graph |
|
| 98 | 110 |
SmartGraph from; |
| 99 | 111 |
SmartGraph::NodeMap<int> fnm(from); |
| 100 | 112 |
SmartGraph::ArcMap<int> fam(from); |
| 101 | 113 |
SmartGraph::EdgeMap<int> fem(from); |
| 102 | 114 |
SmartGraph::Node fn = INVALID; |
| 103 | 115 |
SmartGraph::Arc fa = INVALID; |
| ... | ... |
@@ -119,12 +131,13 @@ |
| 119 | 131 |
fam[from.direct(edge, false)] = i * i + j; |
| 120 | 132 |
if (i == 0 && j == 0) fa = from.direct(edge, true); |
| 121 | 133 |
if (i == 0 && j == 0) fe = edge; |
| 122 | 134 |
} |
| 123 | 135 |
} |
| 124 | 136 |
|
| 137 |
// Test graph copy |
|
| 125 | 138 |
ListGraph to; |
| 126 | 139 |
ListGraph::NodeMap<int> tnm(to); |
| 127 | 140 |
ListGraph::ArcMap<int> tam(to); |
| 128 | 141 |
ListGraph::EdgeMap<int> tem(to); |
| 129 | 142 |
ListGraph::Node tn; |
| 130 | 143 |
ListGraph::Arc ta; |
| ... | ... |
@@ -141,12 +154,16 @@ |
| 141 | 154 |
graphCopy(from, to). |
| 142 | 155 |
nodeMap(fnm, tnm).arcMap(fam, tam).edgeMap(fem, tem). |
| 143 | 156 |
nodeRef(nr).arcRef(ar).edgeRef(er). |
| 144 | 157 |
nodeCrossRef(ncr).arcCrossRef(acr).edgeCrossRef(ecr). |
| 145 | 158 |
node(fn, tn).arc(fa, ta).edge(fe, te).run(); |
| 146 | 159 |
|
| 160 |
check(countNodes(from) == countNodes(to), "Wrong copy."); |
|
| 161 |
check(countEdges(from) == countEdges(to), "Wrong copy."); |
|
| 162 |
check(countArcs(from) == countArcs(to), "Wrong copy."); |
|
| 163 |
|
|
| 147 | 164 |
for (SmartGraph::NodeIt it(from); it != INVALID; ++it) {
|
| 148 | 165 |
check(ncr[nr[it]] == it, "Wrong copy."); |
| 149 | 166 |
check(fnm[it] == tnm[nr[it]], "Wrong copy."); |
| 150 | 167 |
} |
| 151 | 168 |
|
| 152 | 169 |
for (SmartGraph::ArcIt it(from); it != INVALID; ++it) {
|
| ... | ... |
@@ -177,12 +194,19 @@ |
| 177 | 194 |
for (ListGraph::EdgeIt it(to); it != INVALID; ++it) {
|
| 178 | 195 |
check(er[ecr[it]] == it, "Wrong copy."); |
| 179 | 196 |
} |
| 180 | 197 |
check(tn == nr[fn], "Wrong copy."); |
| 181 | 198 |
check(ta == ar[fa], "Wrong copy."); |
| 182 | 199 |
check(te == er[fe], "Wrong copy."); |
| 200 |
|
|
| 201 |
// Test repeated copy |
|
| 202 |
graphCopy(from, to).run(); |
|
| 203 |
|
|
| 204 |
check(countNodes(from) == countNodes(to), "Wrong copy."); |
|
| 205 |
check(countEdges(from) == countEdges(to), "Wrong copy."); |
|
| 206 |
check(countArcs(from) == countArcs(to), "Wrong copy."); |
|
| 183 | 207 |
} |
| 184 | 208 |
|
| 185 | 209 |
|
| 186 | 210 |
int main() {
|
| 187 | 211 |
digraph_copy_test(); |
| 188 | 212 |
graph_copy_test(); |
0 comments (0 inline)