42 namespace Gecode {
namespace Search {
62 unsigned long int scale;
79 unsigned long int scale;
81 static const unsigned long int n_start = 63U;
83 static unsigned long int start[n_start];
85 static unsigned long int log(
unsigned long int i);
87 static unsigned long int luby(
unsigned long int i);
117 unsigned long int min;
121 unsigned long int step;
124 unsigned long int min,
unsigned long int max,
125 unsigned long int n);
176 Cutoff::operator
new(
size_t s) {
180 Cutoff::operator
delete(
void*
p) {
virtual unsigned long int operator()(void)
Return next cutoff value.
const Gecode::FloatNum step
Cutoff(void)
Default constructor.
virtual unsigned long int operator()(void)
Return next cutoff value.
void log(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
virtual ~Cutoff(void)
Destructor.
void rfree(void *p)
Free memory block starting at p.
Cutoff generator appending two cutoff generators.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
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.
virtual unsigned long int operator()(void)
Return next cutoff value.
virtual unsigned long int operator()(void)
Return next cutoff value.
Heap heap
The single global heap.
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
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 ~CutoffRepeat(void)
Destructor.
virtual unsigned long int operator()(void)
Return next cutoff value.
Template for linear congruential generators.
Cutoff generator for linear sequence.
Cutoff generator for the geometric sequence.
virtual unsigned long int operator()(void)
Return next cutoff value.
Cutoff generator for constant sequence.
Cutoff generator that repeats a cutoff from another cutoff generator.
virtual unsigned long int operator()(void)
Return next cutoff value.