source: lemon-0.x/src/lemon/concept/undir_graph.h @ 963:5a7556e9e340

/* -*- C++ -*-
 *
 * src/lemon/concept/undir_graph_component.h - Part of LEMON, a generic
 * C++ optimization library
 *
 * Copyright (C) 2004 Egervary Jeno Kombinatorikus Optimalizalasi
 * Kutatocsoport (Egervary Combinatorial Optimization Research Group,
 * EGRES).
 *
 * Permission to use, modify and distribute this software is granted
 * provided that this copyright notice appears in all copies. For
 * precise terms see the accompanying LICENSE file.
 *
 * This software is provided "AS IS" with no warranty of any kind,
 * express or implied, and with no claim as to its suitability for any
 * purpose.
 *
 */

///\ingroup concept
///\file
///\brief Undirected graphs and components of.


#ifndef LEMON_CONCEPT_UNDIR_GRAPH_H
#define LEMON_CONCEPT_UNDIR_GRAPH_H

#include <lemon/concept/graph_component.h>

namespace lemon {
  namespace concept {

    /// \todo to be done
    class BaseIterableUndirGraph;

    template <typename Graph>
    struct BaseIterableUndirGraphConcept {
      typedef typename Graph::UndirEdge UndirEdge;
      typedef typename Graph::Edge Edge;
      typedef typename Graph::Node Node;
      void constraints() {
        function_requires< BaseIterableGraphComponentConcept<Graph> >();
        function_requires< GraphItemConcept<UndirEdge> >();

        /// \bug this should be base_and_derived:
        UndirEdge ue = e;
        ue = e;

        Node n;
        n = graph.head(ue);
        n = graph.tail(ue);

        graph.first(ue);
        graph.next(ue);
      }
      const Graph &graph;
      Edge e;
    };

    template <typename Graph>
    struct IterableUndirGraphConcept {
      void constraints() {
        function_requires< BaseIterableUndirGraphConcept<Graph> > ();
        function_requires< IterableGraphComponentConcept<Graph> > ();

        typedef typename Graph::UndirEdge UndirEdge;
        typedef typename Graph::UndirEdgeIt UndirEdgeIt;

        function_requires<
          GraphIteratorConcept<UndirEdgeIt, Graph, UndirEdge> >();
      }
    };

  }

}

#endif