toulbar2
timer.h
1 #ifndef _timer_h_
2 #define _timer_h_
3 
4 typedef double Time;
5 typedef enum type_timer { REAL,
6  VIRTUAL } Timer;
7 
8 #ifndef WINDOWS // timer not supported under windows
9 void start_timers(void);
10 void stop_timers(Timer type);
11 extern Time real_lapse;
12 extern Time virtual_ulapse, virtual_slapse;
13 #define REAL_TIMELAPSE (real_lapse)
14 #define VIRTUAL_TIMELAPSE (virtual_ulapse + virtual_slapse)
15 #endif
16 
17 #endif
WeightedCSP
Definition: toulbar2lib.hpp:75
WeightedCSP::numberOfVariables
virtual unsigned int numberOfVariables() const =0
number of created variables
WeightedCSP::print
virtual void print(ostream &os)=0
print current domains and active cost functions (see Output messages, verbosity options and debugging...
WeightedCSP::makeWeightedCSP
static WeightedCSP * makeWeightedCSP(Cost upperBound, void *solver=NULL)
Weighted CSP factory.
Definition: tb2wcsp.cpp:548