klao@946: // -*- c++ -*-
alpar@906: 
klao@946: #include <iostream>
klao@946: #include <vector>
alpar@578: 
klao@959: #include <lemon/concept/graph.h>
klao@946: #include <lemon/list_graph.h>
klao@946: #include <lemon/smart_graph.h>
klao@946: #include <lemon/full_graph.h>
deba@1712: #include <lemon/hypercube_graph.h>
alpar@567: 
klao@946: #include "test_tools.h"
klao@946: #include "graph_test.h"
klao@946: #include "map_test.h"
alpar@503: 
alpar@503: 
alpar@921: using namespace lemon;
klao@959: using namespace lemon::concept;
alpar@503: 
alpar@503: 
klao@946: int main() {
klao@946:   { // checking graph components
deba@989:     checkConcept<BaseGraphComponent, BaseGraphComponent >();
alpar@503: 
deba@989:     checkConcept<BaseIterableGraphComponent, BaseIterableGraphComponent >();
alpar@503: 
deba@989:     checkConcept<IDableGraphComponent, IDableGraphComponent >();
deba@989:     checkConcept<MaxIDableGraphComponent, MaxIDableGraphComponent >();
alpar@503: 
deba@989:     checkConcept<BaseExtendableGraphComponent, BaseExtendableGraphComponent >();
deba@989:     checkConcept<BaseErasableGraphComponent, BaseErasableGraphComponent >();
alpar@503: 
deba@989:     checkConcept<IterableGraphComponent, IterableGraphComponent >();
alpar@503: 
deba@989:     checkConcept<MappableGraphComponent, MappableGraphComponent >();
alpar@793: 
deba@989:     checkConcept<ExtendableGraphComponent, ExtendableGraphComponent >();
deba@989:     checkConcept<ErasableGraphComponent, ErasableGraphComponent >();
deba@989:     checkConcept<ClearableGraphComponent, ClearableGraphComponent >();
klao@946:   }
klao@946:   { // checking skeleton graphs
deba@989:     checkConcept<StaticGraph, StaticGraph >();
deba@989:     checkConcept<ExtendableGraph, ExtendableGraph >();
deba@989:     checkConcept<ErasableGraph, ErasableGraph >();
klao@946:   }
klao@946:   { // checking list graph
deba@989:     checkConcept<ErasableGraph, ListGraph >();
alpar@793: 
klao@946:     checkGraph<ListGraph>();
klao@946:     checkGraphNodeMap<ListGraph>();
klao@946:     checkGraphEdgeMap<ListGraph>();
klao@946:   }
klao@946:   { // checking smart graph
deba@989:     checkConcept<ExtendableGraph, SmartGraph >();
alpar@733: 
klao@946:     checkGraph<SmartGraph>();
klao@946:     checkGraphNodeMap<SmartGraph>();
klao@946:     checkGraphEdgeMap<SmartGraph>();
alpar@503:   }
klao@946:   { // checking full graph
deba@989:     checkConcept<StaticGraph, FullGraph >();
alpar@578:   }
deba@1712:   { // checking full graph
deba@1712:     checkConcept<StaticGraph, HyperCubeGraph >();
deba@1712:   }
alpar@503: 
alpar@503:   std::cout << __FILE__ ": All tests passed.\n";
alpar@503: 
alpar@579:   return 0;
alpar@503: }