0
4
1
169
17
6
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& error) |
|
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& error) |
|
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& error) |
|
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& error) |
|
164 |
{ |
|
165 |
ok = true; |
|
166 |
} |
|
167 |
check(ok,"FormatError exception should have occured"); |
|
168 |
} |
|
169 |
} |
... | ... |
@@ -54,43 +54,54 @@ |
54 | 54 |
non-empty lines until the next section describes nodes of the |
55 | 55 |
graph. Each line contains the values of the node maps |
56 | 56 |
associated to the current node. |
57 | 57 |
|
58 | 58 |
\code |
59 | 59 |
@nodes |
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 '-', |
91 | 102 |
which regards to the forward or backward directed arc of the |
92 | 103 |
corresponding edge. |
93 | 104 |
|
94 | 105 |
\code |
95 | 106 |
@attributes |
96 | 107 |
source 1 |
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. |
12 | 12 |
* |
13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
14 | 14 |
* express or implied, and with no claim as to its suitability for any |
15 | 15 |
* purpose. |
16 | 16 |
* |
17 | 17 |
*/ |
... | ... |
@@ -954,24 +954,31 @@ |
954 | 954 |
if (!_arc_maps.empty()) |
955 | 955 |
throw FormatError("Cannot find map names"); |
956 | 956 |
return; |
957 | 957 |
} |
958 | 958 |
line.putback(c); |
959 | 959 |
|
960 | 960 |
{ |
961 | 961 |
std::map<std::string, int> maps; |
962 | 962 |
|
963 | 963 |
std::string map; |
964 | 964 |
int index = 0; |
965 | 965 |
while (_reader_bits::readToken(line, map)) { |
966 |
if(map == "-") { |
|
967 |
if(index!=0) |
|
968 |
throw FormatError("'-' is not allowed as a map name"); |
|
969 |
else if (line >> std::ws >> c) |
|
970 |
throw FormatError("Extra character at the end of line"); |
|
971 |
else break; |
|
972 |
} |
|
966 | 973 |
if (maps.find(map) != maps.end()) { |
967 | 974 |
std::ostringstream msg; |
968 | 975 |
msg << "Multiple occurence of arc map: " << map; |
969 | 976 |
throw FormatError(msg.str()); |
970 | 977 |
} |
971 | 978 |
maps.insert(std::make_pair(map, index)); |
972 | 979 |
++index; |
973 | 980 |
} |
974 | 981 |
|
975 | 982 |
for (int i = 0; i < static_cast<int>(_arc_maps.size()); ++i) { |
976 | 983 |
std::map<std::string, int>::iterator jt = |
977 | 984 |
maps.find(_arc_maps[i].first); |
... | ... |
@@ -1794,24 +1801,31 @@ |
1794 | 1801 |
if (!_edge_maps.empty()) |
1795 | 1802 |
throw FormatError("Cannot find map names"); |
1796 | 1803 |
return; |
1797 | 1804 |
} |
1798 | 1805 |
line.putback(c); |
1799 | 1806 |
|
1800 | 1807 |
{ |
1801 | 1808 |
std::map<std::string, int> maps; |
1802 | 1809 |
|
1803 | 1810 |
std::string map; |
1804 | 1811 |
int index = 0; |
1805 | 1812 |
while (_reader_bits::readToken(line, map)) { |
1813 |
if(map == "-") { |
|
1814 |
if(index!=0) |
|
1815 |
throw FormatError("'-' is not allowed as a map name"); |
|
1816 |
else if (line >> std::ws >> c) |
|
1817 |
throw FormatError("Extra character at the end of line"); |
|
1818 |
else break; |
|
1819 |
} |
|
1806 | 1820 |
if (maps.find(map) != maps.end()) { |
1807 | 1821 |
std::ostringstream msg; |
1808 | 1822 |
msg << "Multiple occurence of edge map: " << map; |
1809 | 1823 |
throw FormatError(msg.str()); |
1810 | 1824 |
} |
1811 | 1825 |
maps.insert(std::make_pair(map, index)); |
1812 | 1826 |
++index; |
1813 | 1827 |
} |
1814 | 1828 |
|
1815 | 1829 |
for (int i = 0; i < static_cast<int>(_edge_maps.size()); ++i) { |
1816 | 1830 |
std::map<std::string, int>::iterator jt = |
1817 | 1831 |
maps.find(_edge_maps[i].first); |
... | ... |
@@ -9,23 +9,24 @@ |
9 | 9 |
bfs_test |
10 | 10 |
counter_test |
11 | 11 |
dfs_test |
12 | 12 |
digraph_test |
13 | 13 |
dijkstra_test |
14 | 14 |
dim_test |
15 | 15 |
error_test |
16 | 16 |
graph_copy_test |
17 | 17 |
graph_test |
18 | 18 |
graph_utils_test |
19 | 19 |
heap_test |
20 | 20 |
kruskal_test |
21 |
lgf_test |
|
21 | 22 |
maps_test |
22 | 23 |
random_test |
23 | 24 |
path_test |
24 | 25 |
time_measure_test |
25 | 26 |
unionfind_test) |
26 | 27 |
|
27 | 28 |
FOREACH(TEST_NAME ${TESTS}) |
28 | 29 |
ADD_EXECUTABLE(${TEST_NAME} ${TEST_NAME}.cc) |
29 | 30 |
TARGET_LINK_LIBRARIES(${TEST_NAME} lemon) |
30 | 31 |
ADD_TEST(${TEST_NAME} ${TEST_NAME}) |
31 | 32 |
ENDFOREACH(TEST_NAME) |
... | ... |
@@ -9,42 +9,44 @@ |
9 | 9 |
test/bfs_test \ |
10 | 10 |
test/counter_test \ |
11 | 11 |
test/dfs_test \ |
12 | 12 |
test/digraph_test \ |
13 | 13 |
test/dijkstra_test \ |
14 | 14 |
test/dim_test \ |
15 | 15 |
test/error_test \ |
16 | 16 |
test/graph_copy_test \ |
17 | 17 |
test/graph_test \ |
18 | 18 |
test/graph_utils_test \ |
19 | 19 |
test/heap_test \ |
20 | 20 |
test/kruskal_test \ |
21 |
test/lgf_test \ |
|
21 | 22 |
test/maps_test \ |
22 | 23 |
test/random_test \ |
23 | 24 |
test/path_test \ |
24 | 25 |
test/test_tools_fail \ |
25 | 26 |
test/test_tools_pass \ |
26 | 27 |
test/time_measure_test \ |
27 | 28 |
test/unionfind_test |
28 | 29 |
|
29 | 30 |
TESTS += $(check_PROGRAMS) |
30 | 31 |
XFAIL_TESTS += test/test_tools_fail$(EXEEXT) |
31 | 32 |
|
32 | 33 |
test_bfs_test_SOURCES = test/bfs_test.cc |
33 | 34 |
test_counter_test_SOURCES = test/counter_test.cc |
34 | 35 |
test_dfs_test_SOURCES = test/dfs_test.cc |
35 | 36 |
test_digraph_test_SOURCES = test/digraph_test.cc |
36 | 37 |
test_dijkstra_test_SOURCES = test/dijkstra_test.cc |
37 | 38 |
test_dim_test_SOURCES = test/dim_test.cc |
38 | 39 |
test_error_test_SOURCES = test/error_test.cc |
39 | 40 |
test_graph_copy_test_SOURCES = test/graph_copy_test.cc |
40 | 41 |
test_graph_test_SOURCES = test/graph_test.cc |
41 | 42 |
test_graph_utils_test_SOURCES = test/graph_utils_test.cc |
42 | 43 |
test_heap_test_SOURCES = test/heap_test.cc |
43 | 44 |
test_kruskal_test_SOURCES = test/kruskal_test.cc |
45 |
test_lgf_test_SOURCES = test/lgf_test.cc |
|
44 | 46 |
test_maps_test_SOURCES = test/maps_test.cc |
45 | 47 |
test_path_test_SOURCES = test/path_test.cc |
46 | 48 |
test_random_test_SOURCES = test/random_test.cc |
47 | 49 |
test_test_tools_fail_SOURCES = test/test_tools_fail.cc |
48 | 50 |
test_test_tools_pass_SOURCES = test/test_tools_pass.cc |
49 | 51 |
test_time_measure_test_SOURCES = test/time_measure_test.cc |
50 | 52 |
test_unionfind_test_SOURCES = test/unionfind_test.cc |
0 comments (0 inline)