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  }