Changeset 765:3b544a9c92db in lemon1.2 for test/min_mean_cycle_test.cc
 Timestamp:
 08/11/09 20:55:40 (12 years ago)
 Branch:
 default
 Phase:
 public
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

test/min_mean_cycle_test.cc
r764 r765 22 22 #include <lemon/smart_graph.h> 23 23 #include <lemon/lgf_reader.h> 24 #include <lemon/howard.h>25 24 #include <lemon/path.h> 26 25 #include <lemon/concepts/digraph.h> 27 26 #include <lemon/concept_check.h> 27 28 #include <lemon/karp.h> 29 #include <lemon/howard.h> 28 30 29 31 #include "test_tools.h" … … 142 144 { 143 145 typedef concepts::Digraph GR; 144 typedef Howard<GR, concepts::ReadMap<GR::Arc, int> > IntMmcAlg; 145 typedef Howard<GR, concepts::ReadMap<GR::Arc, float> > FloatMmcAlg; 146 147 // Karp 148 checkConcept< MmcClassConcept<GR, int>, 149 Karp<GR, concepts::ReadMap<GR::Arc, int> > >(); 150 checkConcept< MmcClassConcept<GR, float>, 151 Karp<GR, concepts::ReadMap<GR::Arc, float> > >(); 146 152 147 checkConcept<MmcClassConcept<GR, int>, IntMmcAlg>(); 148 checkConcept<MmcClassConcept<GR, float>, FloatMmcAlg>(); 149 150 if (IsSameType<IntMmcAlg::LargeValue, long_int>::result == 0) 151 check(false, "Wrong LargeValue type"); 152 if (IsSameType<FloatMmcAlg::LargeValue, double>::result == 0) 153 check(false, "Wrong LargeValue type"); 153 // Howard 154 checkConcept< MmcClassConcept<GR, int>, 155 Howard<GR, concepts::ReadMap<GR::Arc, int> > >(); 156 checkConcept< MmcClassConcept<GR, float>, 157 Howard<GR, concepts::ReadMap<GR::Arc, float> > >(); 158 159 if (IsSameType<Howard<GR, concepts::ReadMap<GR::Arc, int> >::LargeValue, 160 long_int>::result == 0) check(false, "Wrong LargeValue type"); 161 if (IsSameType<Howard<GR, concepts::ReadMap<GR::Arc, float> >::LargeValue, 162 double>::result == 0) check(false, "Wrong LargeValue type"); 154 163 } 155 164 … … 175 184 run(); 176 185 186 // Karp 187 checkMmcAlg<Karp<GR, IntArcMap> >(gr, l1, c1, 6, 3); 188 checkMmcAlg<Karp<GR, IntArcMap> >(gr, l2, c2, 5, 2); 189 checkMmcAlg<Karp<GR, IntArcMap> >(gr, l3, c3, 0, 1); 190 checkMmcAlg<Karp<GR, IntArcMap> >(gr, l4, c4, 1, 1); 191 192 // Howard 177 193 checkMmcAlg<Howard<GR, IntArcMap> >(gr, l1, c1, 6, 3); 178 194 checkMmcAlg<Howard<GR, IntArcMap> >(gr, l2, c2, 5, 2);
Note: See TracChangeset
for help on using the changeset viewer.