klao@962: // -*- C++ -*-
klao@962: 
klao@962: #include <lemon/undir_graph_extender.h>
klao@962: #include <lemon/concept/undir_graph.h>
klao@962: #include <lemon/list_graph.h>
klao@962: #include <lemon/smart_graph.h>
klao@962: #include <lemon/full_graph.h>
klao@962: 
klao@962: #include "test_tools.h"
klao@962: 
klao@962: 
klao@962: using namespace lemon;
klao@962: using namespace lemon::concept;
klao@962: 
klao@962: 
klao@962: int main() {
klao@962:   typedef UndirGraphExtender<ListGraphBase> UndirListGraphBase;
klao@962: 
klao@962:   typedef IterableUndirGraphExtender<
klao@962:     AlterableUndirGraphExtender<UndirListGraphBase> > IterableUndirListGraph;
klao@962: 
klao@1022:   typedef MappableUndirGraphExtender<IterableUndirListGraph>
klao@1022:     MappableUndirListGraph;
klao@1022: 
klao@1022:   typedef ErasableUndirGraphExtender<
klao@1022:     ClearableUndirGraphExtender<
klao@1022:     ExtendableUndirGraphExtender<MappableUndirListGraph> > > Graph;
klao@1022: 
klao@1022:   checkConcept<BaseIterableUndirGraphConcept, Graph>();
klao@1022:   checkConcept<IterableUndirGraphConcept, Graph>();
klao@1022:   checkConcept<MappableUndirGraphConcept, Graph>();
klao@1022: 
klao@1022:   checkConcept<UndirGraph, Graph>();
klao@1022:   checkConcept<ErasableUndirGraph, Graph>();
klao@962: 
klao@962:   return 0;
klao@962: }