Changeset 989:ca95f8b5c931 in lemon-0.x for src/lemon/concept/undir_graph.h

Timestamp:

11/13/04 22:37:54 (19 years ago)

Author:

Balazs Dezso

Branch:

default

Phase:

public

Convert:

svn:c9d7d8f5-90d6-0310-b91f-818b3a526b0e/lemon/trunk@1379

Message:

XyzConcept? moved to Xyz::Constraints
use checkConcept in the next way:

checkConcept<ErasableGraph?, ListGraph?>();
checkConcept<ReadWriteMap?<Node, Node>, PredMap?>;

File:

• src/lemon/concept/undir_graph.h (modified) (2 diffs)

src/lemon/concept/undir_graph.h

@@ -39 +39 @@
       typedef typename Graph::Edge Edge;
       typedef typename Graph::Node Node;
+
       void constraints() {
-        function_requires< BaseIterableGraphComponentConcept<Graph> >();
-        function_requires< GraphItemConcept<UndirEdge> >();
+        checkConcept<BaseIterableGraphComponent, Graph>();
+        checkConcept<GraphItem<'u'>, UndirEdge >();
 
         /// \bug this should be base_and_derived:
@@ -61 +62 @@
     struct IterableUndirGraphConcept {
       void constraints() {
-        function_requires< BaseIterableUndirGraphConcept<Graph> > ();
-        function_requires< IterableGraphComponentConcept<Graph> > ();
+        /// \todo we don't need the iterable component should base iterable     
+        //      checkConcept< BaseIterableUndirGraph, Graph > ();
+        checkConcept< IterableGraphComponent, Graph > ();
 
         typedef typename Graph::UndirEdge UndirEdge;
         typedef typename Graph::UndirEdgeIt UndirEdgeIt;
 
-        function_requires<
-          GraphIteratorConcept<UndirEdgeIt, Graph, UndirEdge> >();
+        checkConcept< GraphIterator<Graph, UndirEdge>, UndirEdgeIt >();
       }
     };