src/lemon/concept/undir_graph.h
changeset 989 ca95f8b5c931
parent 986 e997802b855c
child 1021 fd1d073b6557
     1.1 --- a/src/lemon/concept/undir_graph.h	Sat Nov 13 17:47:44 2004 +0000
     1.2 +++ b/src/lemon/concept/undir_graph.h	Sat Nov 13 21:37:54 2004 +0000
     1.3 @@ -38,9 +38,10 @@
     1.4        typedef typename Graph::UndirEdge UndirEdge;
     1.5        typedef typename Graph::Edge Edge;
     1.6        typedef typename Graph::Node Node;
     1.7 +
     1.8        void constraints() {
     1.9 -	function_requires< BaseIterableGraphComponentConcept<Graph> >();
    1.10 -	function_requires< GraphItemConcept<UndirEdge> >();
    1.11 +	checkConcept<BaseIterableGraphComponent, Graph>();
    1.12 +	checkConcept<GraphItem<'u'>, UndirEdge >();
    1.13  
    1.14  	/// \bug this should be base_and_derived:
    1.15  	UndirEdge ue = e;
    1.16 @@ -60,14 +61,14 @@
    1.17      template <typename Graph>
    1.18      struct IterableUndirGraphConcept {
    1.19        void constraints() {
    1.20 -	function_requires< BaseIterableUndirGraphConcept<Graph> > ();
    1.21 -	function_requires< IterableGraphComponentConcept<Graph> > ();
    1.22 +	/// \todo we don't need the iterable component should base iterable	
    1.23 +	//	checkConcept< BaseIterableUndirGraph, Graph > ();
    1.24 +	checkConcept< IterableGraphComponent, Graph > ();
    1.25  
    1.26  	typedef typename Graph::UndirEdge UndirEdge;
    1.27  	typedef typename Graph::UndirEdgeIt UndirEdgeIt;
    1.28  
    1.29 -	function_requires<
    1.30 -	  GraphIteratorConcept<UndirEdgeIt, Graph, UndirEdge> >();
    1.31 +	checkConcept< GraphIterator<Graph, UndirEdge>, UndirEdgeIt >();
    1.32        }
    1.33      };
    1.34