1.1 --- a/src/test/undir_graph_test.cc Thu Nov 25 14:48:24 2004 +0000
1.2 +++ b/src/test/undir_graph_test.cc Sun Nov 28 16:30:10 2004 +0000
1.3 @@ -16,12 +16,22 @@
1.4 int main() {
1.5 typedef UndirGraphExtender<ListGraphBase> UndirListGraphBase;
1.6
1.7 - function_requires< BaseIterableUndirGraphConcept<UndirListGraphBase> >();
1.8 -
1.9 typedef IterableUndirGraphExtender<
1.10 AlterableUndirGraphExtender<UndirListGraphBase> > IterableUndirListGraph;
1.11
1.12 - function_requires< IterableUndirGraphConcept<IterableUndirListGraph> >();
1.13 + typedef MappableUndirGraphExtender<IterableUndirListGraph>
1.14 + MappableUndirListGraph;
1.15 +
1.16 + typedef ErasableUndirGraphExtender<
1.17 + ClearableUndirGraphExtender<
1.18 + ExtendableUndirGraphExtender<MappableUndirListGraph> > > Graph;
1.19 +
1.20 + checkConcept<BaseIterableUndirGraphConcept, Graph>();
1.21 + checkConcept<IterableUndirGraphConcept, Graph>();
1.22 + checkConcept<MappableUndirGraphConcept, Graph>();
1.23 +
1.24 + checkConcept<UndirGraph, Graph>();
1.25 + checkConcept<ErasableUndirGraph, Graph>();
1.26
1.27 return 0;
1.28 }