66 1,1,2,1,1,2,4,1,1,2,1,1,2,4,8,1,1,2,1,1,2,4,1,1,2,1,1,2,4,8,16,
67 1,1,2,1,1,2,4,1,1,2,1,1,2,4,8,1,1,2,1,1,2,4,1,1,2,1,1,2,4,8,16,32
81 return static_cast<unsigned long int>(
scale *
n);
86 return static_cast<unsigned long int>(
scale *
n);
165 unsigned long int min,
166 unsigned long int max,
167 unsigned long int n) {
Cutoff generator appending two cutoff generators.
unsigned long int n
How many number to take from the first.
Cutoff * c1
First cutoff generators.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
Cutoff * c2
Second cutoff generators.
Cutoff generator for constant sequence.
unsigned long int c
Constant.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
Cutoff generator for the geometric sequence.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
double n
Current cutoff value.
double scale
Scale factor.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
Cutoff generator for linear sequence.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
unsigned long int n
Next number in sequence.
unsigned long int scale
Scale factor.
Cutoff generator for the Luby sequence.
static unsigned long int luby(unsigned long int i)
Compute Luby number for step i.
static const unsigned long int n_start
Number of pre-computed luby values.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
unsigned long int scale
Scale factor.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
unsigned long int i
Iteration number.
static unsigned long int start[n_start]
Precomputed luby-values.
Cutoff generator merging two cutoff generators.
Cutoff * c1
First cutoff generator.
Cutoff * c2
Second cutoff generator.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
Cutoff generator for the random sequence.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
unsigned long int step
Step size.
unsigned long int cur
Current value.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
unsigned long int n
Random values.
Support::RandomGenerator rnd
Random number generator.
unsigned long int min
Minimum cutoff value.
Cutoff generator that repeats a cutoff from another cutoff generator.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
Base class for cutoff generators for restart-based meta engine.
static Cutoff * rnd(unsigned int seed, unsigned long int min, unsigned long int max, unsigned long int n)
static Cutoff * merge(Cutoff *c1, Cutoff *c2)
Merge cutoff values from c1 with values from c2.
static Cutoff * linear(unsigned long int scale=Config::slice)
Create generator for linear sequence scaled by scale.
static Cutoff * geometric(unsigned long int scale=Config::slice, double base=Config::base)
static Cutoff * constant(unsigned long int scale=Config::slice)
Create generator for constant sequence with constant s.
Cutoff(void)
Default constructor.
static Cutoff * luby(unsigned long int scale=Config::slice)
Create generator for luby sequence with scale-factor scale.
static Cutoff * append(Cutoff *c1, unsigned long int n, Cutoff *c2)
Append cutoff values from c2 after n values from c1.
static Cutoff * repeat(Cutoff *c, unsigned long int n)
Create generator that repeats n times each cutoff value from c.
Gecode toplevel namespace
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .