#include <iostream>

 #include <fstream>

 #include <list_graph.h>

 #include <lemon/dimacs.h>

 #include <lemon/time_measure.h>

 #include "minlengthpaths.h"

 //#include <time_measure.h>

 using namespace lemon;

 // Use a DIMACS max flow file as stdin.

 // read_dimacs_demo < dimacs_max_flow_file

 int main(int argc, char ** argv) {

   typedef ListGraph Graph;

   typedef Graph::Node Node;

   //typedef Graph::EachEdgeIt EachEdgeIt;

   Graph G;

   Node s, t;

   Graph::EdgeMap<int> cap(G);

   readDimacs(std::cin, G, cap, s, t);

   std::cout << "Minlengthpaths demo (ATHOS)..." << std::endl;

   //Graph::EdgeMap<int> flow(G); //0 flow

   //  double pre_time=currTime();

   int k=1;

   if (argc>1)

     k = atoi(argv[1]);

   MinLengthPaths<Graph, Graph::EdgeMap<int> >

     surb_test(G,cap);

   Timer ts;

   ts.reset();

   std::cout << "Number of found paths: " << surb_test.run(s,t,k) << std::endl;

   std::cout << "elapsed time: " << ts << std::endl;

   std::cout << "Total length of found paths: " << surb_test.totalLength() << std::endl;

   //std::cout << (surb_test.checkComplementarySlackness() ? "OK (compl. slackn.)." : "Problem (compl. slackn.)!!!") << std::endl;

   //preflow_push<Graph, int> max_flow_test(G, s, t, cap);

   //int flow_value=max_flow_test.run();

   //double post_time=currTime();

   //std::cout << "elapsed time: " << post_time-pre_time << " sec"<< std::endl; 

   //std::cout << "flow value: "<< flow_value << std::endl;

   return 0;

 }