43 namespace Gecode {
namespace Driver {
47 double t = timer.
stop();
48 unsigned int sec =
static_cast<unsigned int>(floor(t / 1000.0));
49 unsigned int o_msec =
static_cast<unsigned int>
50 (t - 1000.0*
static_cast<double>(sec));
51 unsigned int min = sec / 60;
52 unsigned int o_sec = sec - 60 *
min;
53 unsigned int hour = min / 60;
54 unsigned int o_min = min - 60 * hour;
55 unsigned int day = hour / 24;
56 unsigned int o_hour = hour - 24 * day;
58 os << day <<
" days, ";
61 if (o_hour || o_min) {
63 os.width(2); os.fill(
'0');
66 os.width(2); os.fill(
'0');
69 os.width(3); os.fill(
'0');
72 << std::showpoint << std::fixed
73 << std::setprecision(3) << t <<
" ms)";
93 for (
int i=n;
i--; ) {
100 bool CombinedStop::sigint;
double am(double t[], int n)
Compute arithmetic mean 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 dev(double t[], int n)
Compute deviation of n elements in t.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
void sqrt(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
double stop(void)
Get time since start of timer.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Gecode toplevel namespace