45 namespace Gecode {
namespace Search {
70 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,
71 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
85 return static_cast<unsigned long int>(
scale *
n);
90 return static_cast<unsigned long int>(
scale *
n);
169 unsigned long int min,
170 unsigned long int max,
171 unsigned long int n) {
double scale
Scale factor.
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.
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.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
static Cutoff * merge(Cutoff *c1, Cutoff *c2)
Merge cutoff values from c1 with values from c2.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
Cutoff * c1
First cutoff generator.
static Cutoff * geometric(unsigned long int scale=1U, double base=1.5)
Cutoff generator appending two cutoff generators.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
static unsigned long int luby(unsigned long int i)
Compute Luby number for step i.
unsigned long int step
Step size.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
unsigned long int scale
Scale factor.
Cutoff generator for the Luby sequence.
Base class for cutoff generators for restart-based meta engine.
unsigned long int min
Minimum cutoff value.
unsigned long int c
Constant.
static Cutoff * repeat(Cutoff *c, unsigned long int n)
Create generator that repeats n times each cutoff value from c.
unsigned long int n
Random values.
Gecode::FloatVal c(-8, 8)
Cutoff generator merging two cutoff generators.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
Cutoff generator for the random sequence.
int n
Number of negative literals for node type.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
static Cutoff * linear(unsigned long int scale=1U)
Create generator for linear sequence scaled by scale.
unsigned long int n
How many number to take from the first.
static Cutoff * rnd(unsigned int seed, unsigned long int min, unsigned long int max, unsigned long int n)
static unsigned long int start[n_start]
Precomputed luby-values.
unsigned long int cur
Current value.
Support::RandomGenerator rnd
Random number generator.
unsigned long int i
Iteration number.
double n
Current cutoff value.
static Cutoff * constant(unsigned long int scale=1U)
Create generator for constant sequence with constant s.
Cutoff * c2
Second cutoff generators.
Cutoff * c1
First cutoff generators.
Cutoff generator for linear sequence.
Cutoff generator for the geometric sequence.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
static Cutoff * append(Cutoff *c1, unsigned long int n, Cutoff *c2)
Append cutoff values from c2 after n values from c1.
Cutoff generator for constant sequence.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
unsigned long int n
Next number in sequence.
static Cutoff * luby(unsigned long int scale=1U)
Create generator for luby sequence with scale-factor scale.
Cutoff generator that repeats a cutoff from another cutoff generator.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
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.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
Cutoff * c2
Second cutoff generator.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.