/* -*- C++ -*-

  *

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

  *

  * Copyright (C) 2003-2008

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

  *

  */

 #include <iostream>

 #include <fstream>

 #include <string>

 #include <vector>

 #include <lemon/concept_check.h>

 #include <lemon/concepts/heap.h>

 #include <lemon/list_graph.h>

 #include <lemon/digraph_reader.h>

 #include <lemon/bin_heap.h>

 #include <lemon/fib_heap.h>

 #include <lemon/radix_heap.h>

 #include <lemon/bucket_heap.h>

 #include "test_tools.h"

 #include "heap_test.h"

 #include <lemon/time_measure.h>

 using namespace lemon;

 using namespace lemon::concepts;

 int main() {

   typedef int Item;

   typedef int Prio;

   typedef IntIntMap ItemIntMap;

   typedef ListDigraph Digraph;

   typedef Digraph::Arc Arc;

   typedef Digraph::Node Node;

   typedef Digraph::ArcIt ArcIt;

   typedef Digraph::NodeIt NodeIt;

   typedef Digraph::ArcMap<int> LengthMap;

   Digraph digraph;

   LengthMap length(digraph);

   Node start;

   /// \todo create own test digraph

   std::string f_name;

   if( getenv("srcdir") )

     f_name = std::string(getenv("srcdir"));

   else f_name = ".";

   f_name += "/test/dijkstra_test.lgf";

   std::ifstream input(f_name.c_str());

   check(input, "Input file '" << f_name << "' not found.");

   DigraphReader<Digraph>(input, digraph).

     readArcMap("capacity", length).

     readNode("source", start).

     run();  

   {

     std::cerr << "Checking Bin Heap" << std::endl;

     typedef BinHeap<Prio, ItemIntMap> IntHeap;

     checkConcept<Heap<Prio, ItemIntMap>, IntHeap>();

     heapSortTest<IntHeap>(100);

     heapIncreaseTest<IntHeap>(100);

     typedef FibHeap<Prio, Digraph::NodeMap<int> > NodeHeap;

     checkConcept<Heap<Prio, Digraph::NodeMap<int> >, NodeHeap>();

     Timer timer;

     dijkstraHeapTest<Digraph, LengthMap, NodeHeap>(digraph, length, start);

     std::cout << timer << std::endl;

   }

   {

     std::cerr << "Checking Fib Heap" << std::endl;

     typedef FibHeap<Prio, ItemIntMap> IntHeap;

     checkConcept<Heap<Prio, ItemIntMap>, IntHeap>();

     heapSortTest<IntHeap>(100);

     heapIncreaseTest<IntHeap>(100);

     typedef FibHeap<Prio, Digraph::NodeMap<int> > NodeHeap;

     checkConcept<Heap<Prio, Digraph::NodeMap<int> >, NodeHeap>();

     Timer timer;

     dijkstraHeapTest<Digraph, LengthMap, NodeHeap>(digraph, length, start);

     std::cout << timer << std::endl;

   }

   {

     std::cerr << "Checking Radix Heap" << std::endl;

     typedef RadixHeap<ItemIntMap> IntHeap;

     checkConcept<Heap<Prio, ItemIntMap>, IntHeap>();

     heapSortTest<IntHeap>(100);

     heapIncreaseTest<IntHeap>(100);

     typedef RadixHeap<Digraph::NodeMap<int> > NodeHeap;

     checkConcept<Heap<Prio, Digraph::NodeMap<int> >, NodeHeap>();

     Timer timer;

     dijkstraHeapTest<Digraph, LengthMap, NodeHeap>(digraph, length, start);

     std::cout << timer << std::endl;

   }

   {

     std::cerr << "Checking Bucket Heap" << std::endl;

     typedef BucketHeap<ItemIntMap> IntHeap;

     checkConcept<Heap<Prio, ItemIntMap>, IntHeap>();

     heapSortTest<IntHeap>(100);

     heapIncreaseTest<IntHeap>(100);

     typedef BucketHeap<Digraph::NodeMap<int> > NodeHeap;

     checkConcept<Heap<Prio, Digraph::NodeMap<int> >, NodeHeap>();

     Timer timer;

     dijkstraHeapTest<Digraph, LengthMap, NodeHeap>(digraph, length, start);

     std::cout << timer << std::endl;

   }

   std::cout << __FILE__ ": All tests passed.\n";

   return 0;

 }