equal
deleted
inserted
replaced
26 void getWinProcTimes(double &rtime, |
26 void getWinProcTimes(double &rtime, |
27 double &utime, double &stime, |
27 double &utime, double &stime, |
28 double &cutime, double &cstime); |
28 double &cutime, double &cstime); |
29 std::string getWinFormattedDate(); |
29 std::string getWinFormattedDate(); |
30 int getWinRndSeed(); |
30 int getWinRndSeed(); |
|
31 |
|
32 class WinLock { |
|
33 public: |
|
34 WinLock(); |
|
35 ~WinLock(); |
|
36 void lock(); |
|
37 void unlock(); |
|
38 private: |
|
39 void *_repr; |
|
40 }; |
31 } |
41 } |
32 } |
42 } |
33 |
43 |
34 #endif |
44 #endif |