41 namespace Gecode {
namespace Search {
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
75 return scale*
luby(
i++);
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) {
const Gecode::FloatNum step
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 const unsigned long int n_start
Number of pre-computed luby values.
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.
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 .
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
Cutoff generator for the Luby sequence.
Base class for cutoff generators for restart-based meta engine.
virtual unsigned long int operator()(void) const
Return the current 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.
Cutoff generator merging two cutoff generators.
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 random sequence.
int n
Number of negative literals for node type.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
Gecode::IntArgs i({1, 2, 3, 4})
virtual unsigned long int operator()(void) const
Return the current cutoff value.
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.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
static Cutoff * geometric(unsigned long int scale=Config::slice, double base=Config::base)
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.
const double base
Base for geometric restart sequence.
static Cutoff * linear(unsigned long int scale=Config::slice)
Create generator for linear sequence scaled by scale.
static Cutoff * luby(unsigned long int scale=Config::slice)
Create generator for luby sequence with scale-factor scale.
Cutoff generator that repeats a cutoff from another cutoff generator.
CutoffConstant(unsigned long int c)
Constructor.
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.
static Cutoff * constant(unsigned long int scale=Config::slice)
Create generator for constant sequence with constant s.
Gecode toplevel namespace
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.
IntRelType swap(IntRelType irt)
Return swapped relation type of irt.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.