toulbar2
src
incop
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
Generated by
1.8.17