/* -*- 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