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