/* -*- C++ -*-

  *

  * This file is a part of LEMON, a generic C++ optimization library

  *

  * Copyright (C) 2003-2006

  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport

  * (Egervary Research Group on Combinatorial Optimization, 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.

  *

  */

 #ifndef LEMON_BITS_TRAITS_H

 #define LEMON_BITS_TRAITS_H

 #include <lemon/bits/utility.h>

 ///\file

 ///\brief Traits for graphs and maps

 ///

 namespace lemon {

   template <typename _Graph, typename _Item>

   class ItemSetTraits {};

   template <typename Graph, typename Enable = void>

   struct NodeNotifierIndicator {

     typedef InvalidType Type;

   };

   template <typename Graph>

   struct NodeNotifierIndicator<

     Graph, 

     typename enable_if<typename Graph::NodeNotifier::Notifier, void>::type

   > { 

     typedef typename Graph::NodeNotifier Type;

   };

   template <typename _Graph>

   class ItemSetTraits<_Graph, typename _Graph::Node> {

   public:

     typedef _Graph Graph;

     typedef typename Graph::Node Item;

     typedef typename Graph::NodeIt ItemIt;

     typedef typename NodeNotifierIndicator<Graph>::Type ItemNotifier;

     template <typename _Value>

     class Map : public Graph::template NodeMap<_Value> {

     public:

       typedef typename Graph::template NodeMap<_Value> Parent; 

       typedef typename Parent::Value Value;

       Map(const Graph& _graph) : Parent(_graph) {}

       Map(const Graph& _graph, const Value& _value) 

 	: Parent(_graph, _value) {}

      };

   };

   template <typename Graph, typename Enable = void>

   struct EdgeNotifierIndicator {

     typedef InvalidType Type;

   };

   template <typename Graph>

   struct EdgeNotifierIndicator<

     Graph, 

     typename enable_if<typename Graph::EdgeNotifier::Notifier, void>::type

   > { 

     typedef typename Graph::EdgeNotifier Type;

   };

   template <typename _Graph>

   class ItemSetTraits<_Graph, typename _Graph::Edge> {

   public:

     typedef _Graph Graph;

     typedef typename Graph::Edge Item;

     typedef typename Graph::EdgeIt ItemIt;

     typedef typename EdgeNotifierIndicator<Graph>::Type ItemNotifier;

     template <typename _Value>

     class Map : public Graph::template EdgeMap<_Value> {

     public:

       typedef typename Graph::template EdgeMap<_Value> Parent; 

       typedef typename Parent::Value Value;

       Map(const Graph& _graph) : Parent(_graph) {}

       Map(const Graph& _graph, const Value& _value) 

 	: Parent(_graph, _value) {}

     };

   };

   template <typename Graph, typename Enable = void>

   struct UEdgeNotifierIndicator {

     typedef InvalidType Type;

   };

   template <typename Graph>

   struct UEdgeNotifierIndicator<

     Graph, 

     typename enable_if<typename Graph::UEdgeNotifier::Notifier, void>::type

   > { 

     typedef typename Graph::UEdgeNotifier Type;

   };

   template <typename _Graph>

   class ItemSetTraits<_Graph, typename _Graph::UEdge> {

   public:

     typedef _Graph Graph;

     typedef typename Graph::UEdge Item;

     typedef typename Graph::UEdgeIt ItemIt;

     typedef typename UEdgeNotifierIndicator<Graph>::Type ItemNotifier;

     template <typename _Value>

     class Map : public Graph::template UEdgeMap<_Value> {

     public:

       typedef typename Graph::template UEdgeMap<_Value> Parent; 

       typedef typename Parent::Value Value;

       Map(const Graph& _graph) : Parent(_graph) {}

       Map(const Graph& _graph, const Value& _value) 

 	: Parent(_graph, _value) {}

     };

   };

   template <typename Graph, typename Enable = void>

   struct ANodeNotifierIndicator {

     typedef InvalidType Type;

   };

   template <typename Graph>

   struct ANodeNotifierIndicator<

     Graph, 

     typename enable_if<typename Graph::ANodeNotifier::Notifier, void>::type

   > { 

     typedef typename Graph::ANodeNotifier Type;

   };

   template <typename _Graph>

   class ItemSetTraits<_Graph, typename _Graph::ANode> {

   public:

     typedef _Graph Graph;

     typedef typename Graph::ANode Item;

     typedef typename Graph::ANodeIt ItemIt;

     typedef typename ANodeNotifierIndicator<Graph>::Type ItemNotifier;

     template <typename _Value>

     class Map : public Graph::template ANodeMap<_Value> {

     public:

       typedef typename Graph::template ANodeMap<_Value> Parent; 

       typedef typename Parent::Value Value;

       Map(const Graph& _graph) : Parent(_graph) {}

       Map(const Graph& _graph, const Value& _value) 

 	: Parent(_graph, _value) {}

     };

   };

   template <typename Graph, typename Enable = void>

   struct BNodeNotifierIndicator {

     typedef InvalidType Type;

   };

   template <typename Graph>

   struct BNodeNotifierIndicator<

     Graph, 

     typename enable_if<typename Graph::BNodeNotifier::Notifier, void>::type

   > { 

     typedef typename Graph::BNodeNotifier Type;

   };

   template <typename _Graph>

   class ItemSetTraits<_Graph, typename _Graph::BNode> {

   public:

     typedef _Graph Graph;

     typedef typename Graph::BNode Item;

     typedef typename Graph::BNodeIt ItemIt;

     typedef typename BNodeNotifierIndicator<Graph>::Type ItemNotifier;

     template <typename _Value>

     class Map : public Graph::template BNodeMap<_Value> {

     public:

       typedef typename Graph::template BNodeMap<_Value> Parent; 

       typedef typename Parent::Value Value;

       Map(const Graph& _graph) : Parent(_graph) {}

       Map(const Graph& _graph, const Value& _value) 

 	: Parent(_graph, _value) {}

     };

   };

   template <typename Map, typename Enable = void>

   struct MapTraits {

     typedef False ReferenceMapTag;

     typedef typename Map::Key Key;

     typedef typename Map::Value Value;

     typedef const Value ConstReturnValue;

     typedef const Value ReturnValue;

   };

   template <typename Map>

   struct MapTraits<

     Map, typename enable_if<typename Map::ReferenceMapTag, void>::type > 

   {

     typedef True ReferenceMapTag;

     typedef typename Map::Key Key;

     typedef typename Map::Value Value;

     typedef typename Map::ConstReference ConstReturnValue;

     typedef typename Map::Reference ReturnValue;

     typedef typename Map::ConstReference ConstReference; 

     typedef typename Map::Reference Reference;

  };

   // Indicators for the tags

   template <typename Graph, typename Enable = void>

   struct NodeNumTagIndicator {

     static const bool value = false;

   };

   template <typename Graph>

   struct NodeNumTagIndicator<

     Graph, 

     typename enable_if<typename Graph::NodeNumTag, void>::type

   > {

     static const bool value = true;

   };

   template <typename Graph, typename Enable = void>

   struct EdgeNumTagIndicator {

     static const bool value = false;

   };

   template <typename Graph>

   struct EdgeNumTagIndicator<

     Graph, 

     typename enable_if<typename Graph::EdgeNumTag, void>::type

   > {

     static const bool value = true;

   };

   template <typename Graph, typename Enable = void>

   struct FindEdgeTagIndicator {

     static const bool value = false;

   };

   template <typename Graph>

   struct FindEdgeTagIndicator<

     Graph, 

     typename enable_if<typename Graph::FindEdgeTag, void>::type

   > {

     static const bool value = true;

   };

   template <typename Graph, typename Enable = void>

   struct UndirectedTagIndicator {

     static const bool value = false;

   };

   template <typename Graph>

   struct UndirectedTagIndicator<

     Graph, 

     typename enable_if<typename Graph::UndirectedTag, void>::type

   > {

     static const bool value = true;

   };

 }

 #endif