43 double t = timer.
stop();
44 unsigned int sec =
static_cast<unsigned int>(floor(t / 1000.0));
45 unsigned int o_msec =
static_cast<unsigned int>
46 (t - 1000.0*
static_cast<double>(sec));
47 unsigned int min = sec / 60;
48 unsigned int o_sec = sec - 60 *
min;
49 unsigned int hour =
min / 60;
50 unsigned int o_min =
min - 60 * hour;
51 unsigned int day = hour / 24;
52 unsigned int o_hour = hour - 24 * day;
54 os << day <<
" days, ";
57 if (o_hour || o_min) {
59 os.width(2); os.fill(
'0');
62 os.width(2); os.fill(
'0');
65 os.width(3); os.fill(
'0');
68 << std::showpoint << std::fixed
69 << std::setprecision(3) << t <<
" ms)";
74 am(
double t[],
unsigned int n) {
78 for (
unsigned int i=0; i<n; i++)
84 dev(
double t[],
unsigned int n) {
89 for (
unsigned int i=0; i<n; i++) {
93 return ::sqrt(s / (n-1)) / m;
96 bool CombinedStop::sigint;
double stop(void)
Get time since start of timer.
Script commandline driver.
double dev(double t[], unsigned int n)
Compute deviation of n elements in t.
void stop(Support::Timer &timer, std::ostream &os)
Get time since start of timer and print user friendly time information.
double am(double t[], unsigned int n)
Compute arithmetic mean of n elements in t.
Gecode toplevel namespace
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .