src/test/undir_graph_test.cc
author klao
Thu, 09 Dec 2004 15:30:12 +0000
changeset 1034 be6ee857b72d
parent 1030 c8a41699e613
child 1053 90f8696360b2
permissions -rw-r--r--
Undir list and smart graph
klao@962
     1
// -*- C++ -*-
klao@962
     2
klao@962
     3
#include <lemon/undir_graph_extender.h>
klao@962
     4
#include <lemon/concept/undir_graph.h>
klao@962
     5
#include <lemon/list_graph.h>
klao@962
     6
#include <lemon/smart_graph.h>
klao@962
     7
#include <lemon/full_graph.h>
klao@962
     8
klao@962
     9
#include "test_tools.h"
klao@962
    10
klao@962
    11
klao@962
    12
using namespace lemon;
klao@962
    13
using namespace lemon::concept;
klao@962
    14
klao@962
    15
klao@962
    16
int main() {
klao@962
    17
  typedef UndirGraphExtender<ListGraphBase> UndirListGraphBase;
klao@962
    18
klao@962
    19
  typedef IterableUndirGraphExtender<
klao@962
    20
    AlterableUndirGraphExtender<UndirListGraphBase> > IterableUndirListGraph;
klao@962
    21
klao@1022
    22
  typedef MappableUndirGraphExtender<IterableUndirListGraph>
klao@1022
    23
    MappableUndirListGraph;
klao@1022
    24
klao@1022
    25
  typedef ErasableUndirGraphExtender<
klao@1022
    26
    ClearableUndirGraphExtender<
klao@1022
    27
    ExtendableUndirGraphExtender<MappableUndirListGraph> > > Graph;
klao@1022
    28
klao@1022
    29
  checkConcept<BaseIterableUndirGraphConcept, Graph>();
klao@1022
    30
  checkConcept<IterableUndirGraphConcept, Graph>();
klao@1022
    31
  checkConcept<MappableUndirGraphConcept, Graph>();
klao@1022
    32
klao@1022
    33
  checkConcept<UndirGraph, Graph>();
klao@1022
    34
  checkConcept<ErasableUndirGraph, Graph>();
klao@962
    35
klao@1034
    36
  checkConcept<UndirGraph, UndirListGraph>();
klao@1034
    37
  checkConcept<ErasableUndirGraph, UndirListGraph>();
klao@1034
    38
klao@1034
    39
  checkConcept<UndirGraph, UndirSmartGraph>();
klao@1034
    40
  checkConcept<ExtendableUndirGraph, UndirSmartGraph>();
klao@1034
    41
klao@1030
    42
  checkConcept<UndirGraph, UndirGraph>();
klao@1030
    43
klao@962
    44
  return 0;
klao@962
    45
}