40 |
40 |
41 |
41 |
42 int main() |
42 int main() |
43 { |
43 { |
44 { |
44 { |
45 checkConcept<StaticGraph, GraphWrapper<StaticGraph> >(); |
45 typedef StaticGraph Graph; |
|
46 checkConcept<StaticGraph, GraphWrapper<Graph> >(); |
46 |
47 |
47 checkConcept<StaticGraph, RevGraphWrapper<StaticGraph> >(); |
48 checkConcept<StaticGraph, RevGraphWrapper<Graph> >(); |
48 |
49 |
49 checkConcept<StaticGraph, SubGraphWrapper<StaticGraph, |
50 checkConcept<StaticGraph, SubGraphWrapper<Graph, |
50 StaticGraph::NodeMap<bool> , StaticGraph::EdgeMap<bool> > >(); |
51 Graph::NodeMap<bool> , Graph::EdgeMap<bool> > >(); |
51 checkConcept<StaticGraph, NodeSubGraphWrapper<StaticGraph, |
52 checkConcept<StaticGraph, NodeSubGraphWrapper<Graph, |
52 StaticGraph::NodeMap<bool> > >(); |
53 Graph::NodeMap<bool> > >(); |
53 checkConcept<StaticGraph, EdgeSubGraphWrapper<StaticGraph, |
54 checkConcept<StaticGraph, EdgeSubGraphWrapper<Graph, |
54 StaticGraph::EdgeMap<bool> > >(); |
55 Graph::EdgeMap<bool> > >(); |
55 |
56 |
56 checkConcept<StaticGraph, SubBidirGraphWrapper<StaticGraph, |
57 checkConcept<StaticGraph, SubBidirGraphWrapper<Graph, |
57 StaticGraph::EdgeMap<bool>, StaticGraph::EdgeMap<bool> > >(); |
58 Graph::EdgeMap<bool>, Graph::EdgeMap<bool> > >(); |
|
59 checkConcept<StaticGraph, BidirGraph<Graph> >(); |
|
60 checkConcept<StaticGraph, ResGraphWrapper<Graph, int, |
|
61 Graph::EdgeMap<int>, Graph::EdgeMap<int> > >(); |
58 |
62 |
59 checkConcept<StaticGraph, BidirGraph<StaticGraph> >(); |
63 checkConcept<StaticGraph, ErasingFirstGraphWrapper<Graph, |
60 |
64 Graph::NodeMap<Graph::Edge> > >(); |
61 checkConcept<StaticGraph, ResGraphWrapper<StaticGraph, int, |
|
62 StaticGraph::EdgeMap<int>, StaticGraph::EdgeMap<int> > >(); |
|
63 |
|
64 // function_requires<StaticGraphConcept<ErasingFirstGraphWrapper<Graph, Graph::NodeMap<Graph::Edge> > > >(); |
|
65 } |
65 } |
66 std::cout << __FILE__ ": All tests passed.\n"; |
66 std::cout << __FILE__ ": All tests passed.\n"; |
67 |
67 |
68 return 0; |
68 return 0; |
69 } |
69 } |