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