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.
Gecode::IntArgs i(4, 1, 2, 3, 4)
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.
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.