24 #include <lemon/path.h> |
24 #include <lemon/path.h> |
25 #include <lemon/concepts/digraph.h> |
25 #include <lemon/concepts/digraph.h> |
26 #include <lemon/concept_check.h> |
26 #include <lemon/concept_check.h> |
27 |
27 |
28 #include <lemon/karp.h> |
28 #include <lemon/karp.h> |
|
29 #include <lemon/hartmann_orlin.h> |
29 #include <lemon/howard.h> |
30 #include <lemon/howard.h> |
30 |
31 |
31 #include "test_tools.h" |
32 #include "test_tools.h" |
32 |
33 |
33 using namespace lemon; |
34 using namespace lemon; |
148 checkConcept< MmcClassConcept<GR, int>, |
149 checkConcept< MmcClassConcept<GR, int>, |
149 Karp<GR, concepts::ReadMap<GR::Arc, int> > >(); |
150 Karp<GR, concepts::ReadMap<GR::Arc, int> > >(); |
150 checkConcept< MmcClassConcept<GR, float>, |
151 checkConcept< MmcClassConcept<GR, float>, |
151 Karp<GR, concepts::ReadMap<GR::Arc, float> > >(); |
152 Karp<GR, concepts::ReadMap<GR::Arc, float> > >(); |
152 |
153 |
|
154 // HartmannOrlin |
|
155 checkConcept< MmcClassConcept<GR, int>, |
|
156 HartmannOrlin<GR, concepts::ReadMap<GR::Arc, int> > >(); |
|
157 checkConcept< MmcClassConcept<GR, float>, |
|
158 HartmannOrlin<GR, concepts::ReadMap<GR::Arc, float> > >(); |
|
159 |
153 // Howard |
160 // Howard |
154 checkConcept< MmcClassConcept<GR, int>, |
161 checkConcept< MmcClassConcept<GR, int>, |
155 Howard<GR, concepts::ReadMap<GR::Arc, int> > >(); |
162 Howard<GR, concepts::ReadMap<GR::Arc, int> > >(); |
156 checkConcept< MmcClassConcept<GR, float>, |
163 checkConcept< MmcClassConcept<GR, float>, |
157 Howard<GR, concepts::ReadMap<GR::Arc, float> > >(); |
164 Howard<GR, concepts::ReadMap<GR::Arc, float> > >(); |
187 checkMmcAlg<Karp<GR, IntArcMap> >(gr, l1, c1, 6, 3); |
194 checkMmcAlg<Karp<GR, IntArcMap> >(gr, l1, c1, 6, 3); |
188 checkMmcAlg<Karp<GR, IntArcMap> >(gr, l2, c2, 5, 2); |
195 checkMmcAlg<Karp<GR, IntArcMap> >(gr, l2, c2, 5, 2); |
189 checkMmcAlg<Karp<GR, IntArcMap> >(gr, l3, c3, 0, 1); |
196 checkMmcAlg<Karp<GR, IntArcMap> >(gr, l3, c3, 0, 1); |
190 checkMmcAlg<Karp<GR, IntArcMap> >(gr, l4, c4, -1, 1); |
197 checkMmcAlg<Karp<GR, IntArcMap> >(gr, l4, c4, -1, 1); |
191 |
198 |
|
199 // HartmannOrlin |
|
200 checkMmcAlg<HartmannOrlin<GR, IntArcMap> >(gr, l1, c1, 6, 3); |
|
201 checkMmcAlg<HartmannOrlin<GR, IntArcMap> >(gr, l2, c2, 5, 2); |
|
202 checkMmcAlg<HartmannOrlin<GR, IntArcMap> >(gr, l3, c3, 0, 1); |
|
203 checkMmcAlg<HartmannOrlin<GR, IntArcMap> >(gr, l4, c4, -1, 1); |
|
204 |
192 // Howard |
205 // Howard |
193 checkMmcAlg<Howard<GR, IntArcMap> >(gr, l1, c1, 6, 3); |
206 checkMmcAlg<Howard<GR, IntArcMap> >(gr, l1, c1, 6, 3); |
194 checkMmcAlg<Howard<GR, IntArcMap> >(gr, l2, c2, 5, 2); |
207 checkMmcAlg<Howard<GR, IntArcMap> >(gr, l2, c2, 5, 2); |
195 checkMmcAlg<Howard<GR, IntArcMap> >(gr, l3, c3, 0, 1); |
208 checkMmcAlg<Howard<GR, IntArcMap> >(gr, l3, c3, 0, 1); |
196 checkMmcAlg<Howard<GR, IntArcMap> >(gr, l4, c4, -1, 1); |
209 checkMmcAlg<Howard<GR, IntArcMap> >(gr, l4, c4, -1, 1); |