[Frederik Eaton] Major cleanup of BBP and CBP code and documentation
[libdai.git] / src / util.cpp
index a5d8cc0..f15db26 100644 (file)
     #include <boost/math/special_functions/log1p.hpp>  // for log1p
     #include <float.h>  // for _isnan
 #else
-    // Assume POSIX compliant system. We need the following for querying the CPU time for this process
-    #include <sys/times.h>
-    #include <sys/param.h>
+    // Assume POSIX compliant system. We need the following for querying the system time
+    #include <sys/time.h>
 #endif
 
 
+#ifdef CYGWIN
+bool isnan( double x ) {
+    return __isnand( x );  // isnan() is a macro in Cygwin (as required by C99)
+}
+#endif
+
 #ifdef WINDOWS
 bool isnan( double x ) {
     return _isnan( x );
@@ -57,13 +62,14 @@ namespace dai {
 // Returns user+system time in seconds
 double toc() {
 #ifdef WINDOWS
-    SYSTEMTIME  tbuf;
+    SYSTEMTIME tbuf;
     GetSystemTime(&tbuf);
     return( (double)(tbuf.wSecond + (double)tbuf.wMilliseconds / 1000.0) );
 #else
-    tms tbuf;
-    times(&tbuf);
-    return( (double)(tbuf.tms_utime + tbuf.tms_stime) / HZ );
+    struct timeval tv;
+    struct timezone tz;
+    gettimeofday( &tv, &tz );
+    return( (double)(tv.tv_sec + (double)tv.tv_usec / 1000000.0) );
 #endif
 }
 
@@ -95,7 +101,6 @@ double rnd_stdnormal() {
     return _normal_rnd();
 }
 
-// Returns integer in interval [min, max]
 int rnd_int( int min, int max ) {
     return (int)floor(_uni_rnd() * (max + 1 - min) + min);
 }