From 68d0c5b9385941fbd6a58eba4ad85ef0f0d59093 Mon Sep 17 00:00:00 2001
From: graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f>
Date: Thu, 24 Jun 2010 23:21:48 +0000
Subject: cygwin compile

git-svn-id: https://ws10smt.googlecode.com/svn/trunk@24 ec762483-ff6d-05da-a07a-a48fb63a330f
---
 decoder/sampler.h | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'decoder/sampler.h')

diff --git a/decoder/sampler.h b/decoder/sampler.h
index 4d0b2e64..cc13229b 100644
--- a/decoder/sampler.h
+++ b/decoder/sampler.h
@@ -7,6 +7,7 @@
 #include <iostream>
 #include <fstream>
 #include <vector>
+#include <ctime>
 
 #include <boost/random/mersenne_twister.hpp>
 #include <boost/random/uniform_real.hpp>
@@ -28,7 +29,7 @@ struct RandomNumberGenerator {
     }
     if (r.fail() || !r) {
       std::cerr << "Warning: could not read from /dev/urandom. Seeding from clock" << std::endl;
-      seed = time(NULL);
+      seed = std::time(NULL);
     }
     std::cerr << "Seeding random number sequence to " << seed << std::endl;
     return seed;
@@ -113,7 +114,7 @@ size_t RandomNumberGenerator<RNG>::SelectSample(const SampleSet& ss, double T) {
   }
   //for (size_t i = 0; i < ss.m_scores.size(); ++i) std::cerr << ss.m_scores[i] << ",";
   //std::cerr << std::endl;
- 
+
   prob_t random(this->next());    // random number between 0 and 1
   random *= sum;                  // scale with normalization factor
   //std::cerr << "Random number " << random << std::endl;
@@ -123,10 +124,10 @@ size_t RandomNumberGenerator<RNG>::SelectSample(const SampleSet& ss, double T) {
   sum = ss.m_scores[0];
   if (anneal) {
     sum.poweq(annealing_factor);
-    for (; position < ss.m_scores.size() && sum < random; ++position) 
+    for (; position < ss.m_scores.size() && sum < random; ++position)
       sum += ss.m_scores[position].pow(annealing_factor);
   } else {
-    for (; position < ss.m_scores.size() && sum < random; ++position) 
+    for (; position < ss.m_scores.size() && sum < random; ++position)
       sum += ss.m_scores[position];
   }
   //std::cout << "random: " << random <<  " sample: " << position << std::endl;
-- 
cgit v1.2.3