r492:b9b3473327e3
Mon, 16 Feb 2009 19:15:52
[Not Reviewed]
0 comments (0 inline)
0
5
2
| 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
|
| 2 |
* |
|
| 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
|
| 4 |
* |
|
| 5 |
* Copyright (C) 2003-2009 |
|
| 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
|
| 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
|
| 8 |
* |
|
| 9 |
* Permission to use, modify and distribute this software is granted |
|
| 10 |
* provided that this copyright notice appears in all copies. For |
|
| 11 |
* precise terms see the accompanying LICENSE file. |
|
| 12 |
* |
|
| 13 |
* This software is provided "AS IS" with no warranty of any kind, |
|
| 14 |
* express or implied, and with no claim as to its suitability for any |
|
| 15 |
* purpose. |
|
| 16 |
* |
|
| 17 |
*/ |
|
| 18 |
|
|
| 19 |
///\file |
|
| 20 |
///\brief Some basic non-inline functions and static global data. |
|
| 21 |
|
|
| 22 |
#include<lemon/bits/windows.h> |
|
| 23 |
|
|
| 24 |
#ifdef WIN32 |
|
| 25 |
#ifndef WIN32_LEAN_AND_MEAN |
|
| 26 |
#define WIN32_LEAN_AND_MEAN |
|
| 27 |
#endif |
|
| 28 |
#ifndef NOMINMAX |
|
| 29 |
#define NOMINMAX |
|
| 30 |
#endif |
|
| 31 |
#include <windows.h> |
|
| 32 |
#else |
|
| 33 |
#include <unistd.h> |
|
| 34 |
#include <ctime> |
|
| 35 |
#include <sys/times.h> |
|
| 36 |
#include <sys/time.h> |
|
| 37 |
#endif |
|
| 38 |
|
|
| 39 |
#include <cmath> |
|
| 40 |
#include <sstream> |
|
| 41 |
|
|
| 42 |
namespace lemon {
|
|
| 43 |
namespace bits {
|
|
| 44 |
void getWinProcTimes(double &rtime, |
|
| 45 |
double &utime, double &stime, |
|
| 46 |
double &cutime, double &cstime) |
|
| 47 |
{
|
|
| 48 |
#ifdef WIN32 |
|
| 49 |
static const double ch = 4294967296.0e-7; |
|
| 50 |
static const double cl = 1.0e-7; |
|
| 51 |
|
|
| 52 |
FILETIME system; |
|
| 53 |
GetSystemTimeAsFileTime(&system); |
|
| 54 |
rtime = ch * system.dwHighDateTime + cl * system.dwLowDateTime; |
|
| 55 |
|
|
| 56 |
FILETIME create, exit, kernel, user; |
|
| 57 |
if (GetProcessTimes(GetCurrentProcess(),&create, &exit, &kernel, &user)) {
|
|
| 58 |
utime = ch * user.dwHighDateTime + cl * user.dwLowDateTime; |
|
| 59 |
stime = ch * kernel.dwHighDateTime + cl * kernel.dwLowDateTime; |
|
| 60 |
cutime = 0; |
|
| 61 |
cstime = 0; |
|
| 62 |
} else {
|
|
| 63 |
rtime = 0; |
|
| 64 |
utime = 0; |
|
| 65 |
stime = 0; |
|
| 66 |
cutime = 0; |
|
| 67 |
cstime = 0; |
|
| 68 |
} |
|
| 69 |
#else |
|
| 70 |
timeval tv; |
|
| 71 |
gettimeofday(&tv, 0); |
|
| 72 |
rtime=tv.tv_sec+double(tv.tv_usec)/1e6; |
|
| 73 |
|
|
| 74 |
tms ts; |
|
| 75 |
double tck=sysconf(_SC_CLK_TCK); |
|
| 76 |
times(&ts); |
|
| 77 |
utime=ts.tms_utime/tck; |
|
| 78 |
stime=ts.tms_stime/tck; |
|
| 79 |
cutime=ts.tms_cutime/tck; |
|
| 80 |
cstime=ts.tms_cstime/tck; |
|
| 81 |
#endif |
|
| 82 |
} |
|
| 83 |
|
|
| 84 |
std::string getWinFormattedDate() |
|
| 85 |
{
|
|
| 86 |
std::ostringstream os; |
|
| 87 |
#ifdef WIN32 |
|
| 88 |
SYSTEMTIME time; |
|
| 89 |
GetSystemTime(&time); |
|
| 90 |
#if defined(_MSC_VER) && (_MSC_VER < 1500) |
|
| 91 |
LPWSTR buf1, buf2, buf3; |
|
| 92 |
if (GetDateFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 93 |
L"ddd MMM dd", buf1, 11) && |
|
| 94 |
GetTimeFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 95 |
L"HH':'mm':'ss", buf2, 9) && |
|
| 96 |
GetDateFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 97 |
L"yyyy", buf3, 5)) {
|
|
| 98 |
os << buf1 << ' ' << buf2 << ' ' << buf3; |
|
| 99 |
} |
|
| 100 |
#else |
|
| 101 |
char buf1[11], buf2[9], buf3[5]; |
|
| 102 |
if (GetDateFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 103 |
"ddd MMM dd", buf1, 11) && |
|
| 104 |
GetTimeFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 105 |
"HH':'mm':'ss", buf2, 9) && |
|
| 106 |
GetDateFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 107 |
"yyyy", buf3, 5)) {
|
|
| 108 |
os << buf1 << ' ' << buf2 << ' ' << buf3; |
|
| 109 |
} |
|
| 110 |
#endif |
|
| 111 |
else os << "unknown"; |
|
| 112 |
#else |
|
| 113 |
timeval tv; |
|
| 114 |
gettimeofday(&tv, 0); |
|
| 115 |
|
|
| 116 |
char cbuf[26]; |
|
| 117 |
ctime_r(&tv.tv_sec,cbuf); |
|
| 118 |
os << cbuf; |
|
| 119 |
#endif |
|
| 120 |
return os.str(); |
|
| 121 |
} |
|
| 122 |
|
|
| 123 |
int getWinRndSeed() |
|
| 124 |
{
|
|
| 125 |
#ifdef WIN32 |
|
| 126 |
FILETIME time; |
|
| 127 |
GetSystemTimeAsFileTime(&time); |
|
| 128 |
return GetCurrentProcessId() + time.dwHighDateTime + time.dwLowDateTime; |
|
| 129 |
#else |
|
| 130 |
timeval tv; |
|
| 131 |
gettimeofday(&tv, 0); |
|
| 132 |
return getpid() + tv.tv_sec + tv.tv_usec; |
|
| 133 |
#endif |
|
| 134 |
} |
|
| 135 |
} |
|
| 136 |
} |
| 1 |
/* -*- mode: C++; indent-tabs-mode: nil; -*- |
|
| 2 |
* |
|
| 3 |
* This file is a part of LEMON, a generic C++ optimization library. |
|
| 4 |
* |
|
| 5 |
* Copyright (C) 2003-2009 |
|
| 6 |
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport |
|
| 7 |
* (Egervary Research Group on Combinatorial Optimization, EGRES). |
|
| 8 |
* |
|
| 9 |
* Permission to use, modify and distribute this software is granted |
|
| 10 |
* provided that this copyright notice appears in all copies. For |
|
| 11 |
* precise terms see the accompanying LICENSE file. |
|
| 12 |
* |
|
| 13 |
* This software is provided "AS IS" with no warranty of any kind, |
|
| 14 |
* express or implied, and with no claim as to its suitability for any |
|
| 15 |
* purpose. |
|
| 16 |
* |
|
| 17 |
*/ |
|
| 18 |
|
|
| 19 |
#ifndef LEMON_WINDOWS_H |
|
| 20 |
#define LEMON_WINDOWS_H |
|
| 21 |
|
|
| 22 |
#include <string> |
|
| 23 |
|
|
| 24 |
namespace lemon {
|
|
| 25 |
namespace bits {
|
|
| 26 |
void getWinProcTimes(double &rtime, |
|
| 27 |
double &utime, double &stime, |
|
| 28 |
double &cutime, double &cstime); |
|
| 29 |
std::string getWinFormattedDate(); |
|
| 30 |
int getWinRndSeed(); |
|
| 31 |
} |
|
| 32 |
} |
|
| 33 |
|
|
| 34 |
#endif |
| ... | ... |
@@ -9,17 +9,19 @@ |
| 9 | 9 |
) |
| 10 | 10 |
|
| 11 | 11 |
SET(LEMON_SOURCES |
| 12 | 12 |
arg_parser.cc |
| 13 | 13 |
base.cc |
| 14 | 14 |
color.cc |
| 15 | 15 |
lp_base.cc |
| 16 | 16 |
lp_skeleton.cc |
| 17 |
random.cc |
|
| 17 |
random.cc |
|
| 18 |
bits/windows.cc |
|
| 19 |
) |
|
| 18 | 20 |
|
| 19 | 21 |
IF(HAVE_GLPK) |
| 20 | 22 |
SET(LEMON_SOURCES ${LEMON_SOURCES} glpk.cc)
|
| 21 | 23 |
INCLUDE_DIRECTORIES(${GLPK_INCLUDE_DIR})
|
| 22 | 24 |
IF(WIN32) |
| 23 | 25 |
INSTALL(FILES ${GLPK_BIN_DIR}/glpk.dll DESTINATION bin)
|
| 24 | 26 |
INSTALL(FILES ${GLPK_BIN_DIR}/libltdl3.dll DESTINATION bin)
|
| 25 | 27 |
INSTALL(FILES ${GLPK_BIN_DIR}/zlib1.dll DESTINATION bin)
|
| ... | ... |
@@ -7,17 +7,18 @@ |
| 7 | 7 |
lib_LTLIBRARIES += lemon/libemon.la |
| 8 | 8 |
|
| 9 | 9 |
lemon_libemon_la_SOURCES = \ |
| 10 | 10 |
lemon/arg_parser.cc \ |
| 11 | 11 |
lemon/base.cc \ |
| 12 | 12 |
lemon/color.cc \ |
| 13 | 13 |
lemon/lp_base.cc \ |
| 14 | 14 |
lemon/lp_skeleton.cc \ |
| 15 |
|
|
| 15 |
lemon/random.cc \ |
|
| 16 |
lemon/bits/windows.cc |
|
| 16 | 17 |
|
| 17 | 18 |
|
| 18 | 19 |
lemon_libemon_la_CXXFLAGS = \ |
| 19 | 20 |
$(GLPK_CFLAGS) \ |
| 20 | 21 |
$(CPLEX_CFLAGS) \ |
| 21 | 22 |
$(SOPLEX_CXXFLAGS) \ |
| 22 | 23 |
$(CLP_CXXFLAGS) |
| 23 | 24 |
|
| ... | ... |
@@ -85,17 +86,18 @@ |
| 85 | 86 |
lemon/preflow.h \ |
| 86 | 87 |
lemon/radix_sort.h \ |
| 87 | 88 |
lemon/random.h \ |
| 88 | 89 |
lemon/smart_graph.h \ |
| 89 | 90 |
lemon/soplex.h \ |
| 90 | 91 |
lemon/suurballe.h \ |
| 91 | 92 |
lemon/time_measure.h \ |
| 92 | 93 |
lemon/tolerance.h \ |
| 93 |
lemon/unionfind.h |
|
| 94 |
lemon/unionfind.h \ |
|
| 95 |
lemon/bits/windows.h |
|
| 94 | 96 |
|
| 95 | 97 |
bits_HEADERS += \ |
| 96 | 98 |
lemon/bits/alteration_notifier.h \ |
| 97 | 99 |
lemon/bits/array_map.h \ |
| 98 | 100 |
lemon/bits/base_extender.h \ |
| 99 | 101 |
lemon/bits/bezier.h \ |
| 100 | 102 |
lemon/bits/default_map.h \ |
| 101 | 103 |
lemon/bits/edge_set_extender.h \ |
| ... | ... |
@@ -24,23 +24,17 @@ |
| 24 | 24 |
#include<sstream> |
| 25 | 25 |
#include<algorithm> |
| 26 | 26 |
#include<vector> |
| 27 | 27 |
|
| 28 | 28 |
#ifndef WIN32 |
| 29 | 29 |
#include<sys/time.h> |
| 30 | 30 |
#include<ctime> |
| 31 | 31 |
#else |
| 32 |
#ifndef WIN32_LEAN_AND_MEAN |
|
| 33 |
#define WIN32_LEAN_AND_MEAN |
|
| 34 |
#endif |
|
| 35 |
#ifndef NOMINMAX |
|
| 36 |
#define NOMINMAX |
|
| 37 |
#endif |
|
| 38 |
#include<windows.h> |
|
| 32 |
#include<lemon/bits/windows.h> |
|
| 39 | 33 |
#endif |
| 40 | 34 |
|
| 41 | 35 |
#include<lemon/math.h> |
| 42 | 36 |
#include<lemon/core.h> |
| 43 | 37 |
#include<lemon/dim2.h> |
| 44 | 38 |
#include<lemon/maps.h> |
| 45 | 39 |
#include<lemon/color.h> |
| 46 | 40 |
#include<lemon/bits/bezier.h> |
| ... | ... |
@@ -678,51 +672,29 @@ |
| 678 | 672 |
mycoords(_coords,_negY); |
| 679 | 673 |
|
| 680 | 674 |
os << "%!PS-Adobe-2.0 EPSF-2.0\n"; |
| 681 | 675 |
if(_title.size()>0) os << "%%Title: " << _title << '\n'; |
| 682 | 676 |
if(_copyright.size()>0) os << "%%Copyright: " << _copyright << '\n'; |
| 683 | 677 |
os << "%%Creator: LEMON, graphToEps()\n"; |
| 684 | 678 |
|
| 685 | 679 |
{
|
| 680 |
os << "%%CreationDate: "; |
|
| 686 | 681 |
#ifndef WIN32 |
| 687 | 682 |
timeval tv; |
| 688 | 683 |
gettimeofday(&tv, 0); |
| 689 | 684 |
|
| 690 | 685 |
char cbuf[26]; |
| 691 | 686 |
ctime_r(&tv.tv_sec,cbuf); |
| 692 |
os << |
|
| 687 |
os << cbuf; |
|
| 693 | 688 |
#else |
| 694 |
SYSTEMTIME time; |
|
| 695 |
GetSystemTime(&time); |
|
| 696 |
#if defined(_MSC_VER) && (_MSC_VER < 1500) |
|
| 697 |
LPWSTR buf1, buf2, buf3; |
|
| 698 |
if (GetDateFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 699 |
L"ddd MMM dd", buf1, 11) && |
|
| 700 |
GetTimeFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 701 |
L"HH':'mm':'ss", buf2, 9) && |
|
| 702 |
GetDateFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 703 |
L"yyyy", buf3, 5)) {
|
|
| 704 |
os << "%%CreationDate: " << buf1 << ' ' |
|
| 705 |
<< buf2 << ' ' << buf3 << std::endl; |
|
| 706 |
} |
|
| 707 |
#else |
|
| 708 |
char buf1[11], buf2[9], buf3[5]; |
|
| 709 |
if (GetDateFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 710 |
"ddd MMM dd", buf1, 11) && |
|
| 711 |
GetTimeFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 712 |
"HH':'mm':'ss", buf2, 9) && |
|
| 713 |
GetDateFormat(LOCALE_USER_DEFAULT, 0, &time, |
|
| 714 |
"yyyy", buf3, 5)) {
|
|
| 715 |
os << "%%CreationDate: " << buf1 << ' ' |
|
| 716 |
<< buf2 << ' ' << buf3 << std::endl; |
|
| 717 |
} |
|
| 718 |
|
|
| 689 |
os << bits::getWinFormattedDate(); |
|
| 719 | 690 |
#endif |
| 720 | 691 |
} |
| 692 |
os << std::endl; |
|
| 721 | 693 |
|
| 722 | 694 |
if (_autoArcWidthScale) {
|
| 723 | 695 |
double max_w=0; |
| 724 | 696 |
for(ArcIt e(g);e!=INVALID;++e) |
| 725 | 697 |
max_w=std::max(double(_arcWidths[e]),max_w); |
| 726 | 698 |
if(max_w>EPSILON) {
|
| 727 | 699 |
_arcWidthScale/=max_w; |
| 728 | 700 |
} |
| ... | ... |
@@ -72,17 +72,17 @@ |
| 72 | 72 |
#include <lemon/dim2.h> |
| 73 | 73 |
|
| 74 | 74 |
#ifndef WIN32 |
| 75 | 75 |
#include <sys/time.h> |
| 76 | 76 |
#include <ctime> |
| 77 | 77 |
#include <sys/types.h> |
| 78 | 78 |
#include <unistd.h> |
| 79 | 79 |
#else |
| 80 |
#include <windows.h> |
|
| 80 |
#include <lemon/bits/windows.h> |
|
| 81 | 81 |
#endif |
| 82 | 82 |
|
| 83 | 83 |
///\ingroup misc |
| 84 | 84 |
///\file |
| 85 | 85 |
///\brief Mersenne Twister random number generator |
| 86 | 86 |
|
| 87 | 87 |
namespace lemon {
|
| 88 | 88 |
|
| ... | ... |
@@ -657,19 +657,17 @@ |
| 657 | 657 |
/// random sequence. |
| 658 | 658 |
/// \return Currently always true. |
| 659 | 659 |
bool seedFromTime() {
|
| 660 | 660 |
#ifndef WIN32 |
| 661 | 661 |
timeval tv; |
| 662 | 662 |
gettimeofday(&tv, 0); |
| 663 | 663 |
seed(getpid() + tv.tv_sec + tv.tv_usec); |
| 664 | 664 |
#else |
| 665 |
FILETIME time; |
|
| 666 |
GetSystemTimeAsFileTime(&time); |
|
| 667 |
seed( |
|
| 665 |
seed(bits::getWinRndSeed()); |
|
| 668 | 666 |
#endif |
| 669 | 667 |
return true; |
| 670 | 668 |
} |
| 671 | 669 |
|
| 672 | 670 |
/// @} |
| 673 | 671 |
|
| 674 | 672 |
///\name Uniform distributions |
| 675 | 673 |
/// |
| ... | ... |
@@ -19,24 +19,17 @@ |
| 19 | 19 |
#ifndef LEMON_TIME_MEASURE_H |
| 20 | 20 |
#define LEMON_TIME_MEASURE_H |
| 21 | 21 |
|
| 22 | 22 |
///\ingroup timecount |
| 23 | 23 |
///\file |
| 24 | 24 |
///\brief Tools for measuring cpu usage |
| 25 | 25 |
|
| 26 | 26 |
#ifdef WIN32 |
| 27 |
#ifndef WIN32_LEAN_AND_MEAN |
|
| 28 |
#define WIN32_LEAN_AND_MEAN |
|
| 29 |
#endif |
|
| 30 |
#ifndef NOMINMAX |
|
| 31 |
#define NOMINMAX |
|
| 32 |
#endif |
|
| 33 |
#include <windows.h> |
|
| 34 |
#include <cmath> |
|
| 27 |
#include <lemon/bits/windows.h> |
|
| 35 | 28 |
#else |
| 36 | 29 |
#include <unistd.h> |
| 37 | 30 |
#include <sys/times.h> |
| 38 | 31 |
#include <sys/time.h> |
| 39 | 32 |
#endif |
| 40 | 33 |
|
| 41 | 34 |
#include <string> |
| 42 | 35 |
#include <fstream> |
| ... | ... |
@@ -87,36 +80,17 @@ |
| 87 | 80 |
tms ts; |
| 88 | 81 |
double tck=sysconf(_SC_CLK_TCK); |
| 89 | 82 |
times(&ts); |
| 90 | 83 |
utime=ts.tms_utime/tck; |
| 91 | 84 |
stime=ts.tms_stime/tck; |
| 92 | 85 |
cutime=ts.tms_cutime/tck; |
| 93 | 86 |
cstime=ts.tms_cstime/tck; |
| 94 | 87 |
#else |
| 95 |
static const double ch = 4294967296.0e-7; |
|
| 96 |
static const double cl = 1.0e-7; |
|
| 97 |
|
|
| 98 |
FILETIME system; |
|
| 99 |
GetSystemTimeAsFileTime(&system); |
|
| 100 |
rtime = ch * system.dwHighDateTime + cl * system.dwLowDateTime; |
|
| 101 |
|
|
| 102 |
FILETIME create, exit, kernel, user; |
|
| 103 |
if (GetProcessTimes(GetCurrentProcess(),&create, &exit, &kernel, &user)) {
|
|
| 104 |
utime = ch * user.dwHighDateTime + cl * user.dwLowDateTime; |
|
| 105 |
stime = ch * kernel.dwHighDateTime + cl * kernel.dwLowDateTime; |
|
| 106 |
cutime = 0; |
|
| 107 |
cstime = 0; |
|
| 108 |
} else {
|
|
| 109 |
rtime = 0; |
|
| 110 |
utime = 0; |
|
| 111 |
stime = 0; |
|
| 112 |
cutime = 0; |
|
| 113 |
cstime = 0; |
|
| 114 |
} |
|
| 88 |
bits::getWinProcTimes(rtime, utime, stime, cutime, cstime); |
|
| 115 | 89 |
#endif |
| 116 | 90 |
} |
| 117 | 91 |
|
| 118 | 92 |
/// Constructor initializing with zero |
| 119 | 93 |
TimeStamp() |
| 120 | 94 |
{ _reset(); }
|
| 121 | 95 |
///Constructor initializing with the current time values of the process |
| 122 | 96 |
TimeStamp(void *) { stamp();}
|
0 comments (0 inline)