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 |
} |
... | ... |
@@ -22,5 +22,5 @@ |
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 |
... | ... |
@@ -62,13 +62,13 @@ |
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 |
... | ... |
@@ -77,12 +77,23 @@ |
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 |
... | ... |
@@ -48,9 +48,9 @@ |
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: |
... | ... |
@@ -122,9 +122,9 @@ |
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: |
... | ... |
@@ -393,8 +393,9 @@ |
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) { |
... | ... |
@@ -420,8 +421,9 @@ |
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) { |
... | ... |
@@ -556,9 +556,9 @@ |
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. |
... | ... |
@@ -1508,9 +1508,9 @@ |
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. |
... | ... |
@@ -683,11 +683,11 @@ |
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) |
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 |
... | ... |
@@ -963,8 +963,15 @@ |
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()); |
... | ... |
@@ -1833,8 +1840,15 @@ |
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()); |
... | ... |
@@ -24,8 +24,9 @@ |
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 \ |
... | ... |
@@ -69,8 +70,9 @@ |
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 |
... | ... |
@@ -49,9 +49,12 @@ |
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; |
... | ... |
@@ -178,13 +181,16 @@ |
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); |
... | ... |
@@ -209,8 +215,13 @@ |
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 |
} |
... | ... |
@@ -28,8 +28,9 @@ |
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; |
... | ... |
@@ -50,8 +51,9 @@ |
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; |
... | ... |
@@ -68,8 +70,11 @@ |
68 | 70 |
nodeRef(nr).arcRef(er). |
69 | 71 |
nodeCrossRef(ncr).arcCrossRef(ecr). |
70 | 72 |
node(fn, tn).arc(fa, ta).run(); |
71 | 73 |
|
74 |
check(countNodes(from) == countNodes(to), "Wrong copy."); |
|
75 |
check(countArcs(from) == countArcs(to), "Wrong copy."); |
|
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 |
} |
... | ... |
@@ -89,13 +94,20 @@ |
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); |
... | ... |
@@ -121,8 +133,9 @@ |
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); |
... | ... |
@@ -143,8 +156,12 @@ |
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 |
} |
... | ... |
@@ -179,8 +196,15 @@ |
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() { |
0 comments (0 inline)