42 namespace Gecode {
namespace Search {
64 unsigned long int scale;
83 unsigned long int scale;
85 static const unsigned long int n_start = 63U;
87 static unsigned long int start[n_start];
89 static unsigned long int log(
unsigned long int i);
91 static unsigned long int luby(
unsigned long int i);
127 unsigned long int min;
131 unsigned long int step;
133 unsigned long int cur;
136 unsigned long int min,
unsigned long int max,
137 unsigned long int n);
213 Cutoff::operator
new(
size_t s) {
217 Cutoff::operator
delete(
void*
p) {
const Gecode::FloatNum step
virtual unsigned long int operator()(void) const
Return the current cutoff value.
Cutoff(void)
Default 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.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
void log(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
virtual ~Cutoff(void)
Destructor.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
void rfree(void *p)
Free memory block starting at p.
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.
virtual ~CutoffAppend(void)
Destructor.
void * ralloc(size_t s)
Allocate s bytes from heap.
Cutoff generator for the Luby sequence.
Base class for cutoff generators for restart-based meta engine.
Heap heap
The single global heap.
Gecode::FloatVal c(-8, 8)
Cutoff generator merging two cutoff generators.
int p
Number of positive literals for node type.
virtual unsigned long int operator++(void)
Increment and return the next cutoff value.
const FloatNum min
Smallest allowed float 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 ~CutoffRepeat(void)
Destructor.
Template for linear congruential generators.
Cutoff generator for linear sequence.
virtual ~CutoffMerge(void)
Destructor.
Cutoff generator for the geometric sequence.
Cutoff generator for constant sequence.
virtual unsigned long int operator()(void) const
Return the current cutoff value.
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.
Gecode toplevel namespace
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.