deba@1018: /* -*- mode: C++; indent-tabs-mode: nil; -*-
deba@1018:  *
deba@1018:  * This file is a part of LEMON, a generic C++ optimization library.
deba@1018:  *
deba@1018:  * Copyright (C) 2003-2010
deba@1018:  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
deba@1018:  * (Egervary Research Group on Combinatorial Optimization, EGRES).
deba@1018:  *
deba@1018:  * Permission to use, modify and distribute this software is granted
deba@1018:  * provided that this copyright notice appears in all copies. For
deba@1018:  * precise terms see the accompanying LICENSE file.
deba@1018:  *
deba@1018:  * This software is provided "AS IS" with no warranty of any kind,
deba@1018:  * express or implied, and with no claim as to its suitability for any
deba@1018:  * purpose.
deba@1018:  *
deba@1018:  */
deba@1018: 
deba@1018: #include <lemon/concepts/bpgraph.h>
deba@1018: //#include <lemon/list_graph.h>
deba@1018: //#include <lemon/smart_graph.h>
deba@1018: //#include <lemon/full_graph.h>
deba@1018: //#include <lemon/grid_graph.h>
deba@1018: //#include <lemon/hypercube_graph.h>
deba@1018: 
deba@1018: #include "test_tools.h"
deba@1018: #include "graph_test.h"
deba@1018: 
deba@1018: using namespace lemon;
deba@1018: using namespace lemon::concepts;
deba@1018: 
deba@1018: void checkConcepts() {
deba@1018:   { // Checking graph components
deba@1018:     checkConcept<BaseBpGraphComponent, BaseBpGraphComponent >();
deba@1018: 
deba@1018:     checkConcept<IDableBpGraphComponent<>,
deba@1018:       IDableBpGraphComponent<> >();
deba@1018: 
deba@1018:     checkConcept<IterableBpGraphComponent<>,
deba@1018:       IterableBpGraphComponent<> >();
deba@1018: 
deba@1018:     checkConcept<AlterableBpGraphComponent<>,
deba@1018:       AlterableBpGraphComponent<> >();
deba@1018: 
deba@1018:     checkConcept<MappableBpGraphComponent<>,
deba@1018:       MappableBpGraphComponent<> >();
deba@1018: 
deba@1018:     checkConcept<ExtendableBpGraphComponent<>,
deba@1018:       ExtendableBpGraphComponent<> >();
deba@1018: 
deba@1018:     checkConcept<ErasableBpGraphComponent<>,
deba@1018:       ErasableBpGraphComponent<> >();
deba@1018: 
deba@1018:     checkConcept<ClearableGraphComponent<>,
deba@1018:       ClearableGraphComponent<> >();
deba@1018: 
deba@1018:   }
deba@1018:   { // Checking skeleton graph
deba@1018:     checkConcept<BpGraph, BpGraph>();
deba@1018:   }
deba@1018: }
deba@1018: 
deba@1018: void checkGraphs() {
deba@1018: }
deba@1018: 
deba@1018: int main() {
deba@1018:   checkConcepts();
deba@1018:   checkGraphs();
deba@1018:   return 0;
deba@1018: }