Cutoff generator for the Luby sequence. More...
#include <cutoff.hpp>
Public Member Functions | |
virtual unsigned long int | operator() (void) const |
Return the current cutoff value. More... | |
virtual unsigned long int | operator++ (void) |
Increment and return the next cutoff value. More... | |
![]() | |
Cutoff (void) | |
Default constructor. More... | |
virtual | ~Cutoff (void) |
Destructor. More... | |
Additional Inherited Members | |
![]() | |
static Cutoff * | constant (unsigned long int scale=1U) |
Create generator for constant sequence with constant s. More... | |
static Cutoff * | linear (unsigned long int scale=1U) |
Create generator for linear sequence scaled by scale. More... | |
static Cutoff * | geometric (unsigned long int scale=1U, double base=1.5) |
static Cutoff * | luby (unsigned long int scale=1U) |
Create generator for luby sequence with scale-factor scale. More... | |
static Cutoff * | rnd (unsigned int seed, unsigned long int min, unsigned long int max, unsigned long int n) |
static Cutoff * | append (Cutoff *c1, unsigned long int n, Cutoff *c2) |
Append cutoff values from c2 after n values from c1. More... | |
static Cutoff * | merge (Cutoff *c1, Cutoff *c2) |
Merge cutoff values from c1 with values from c2. More... | |
static Cutoff * | repeat (Cutoff *c, unsigned long int n) |
Create generator that repeats n times each cutoff value from c. More... | |
static void * | operator new (size_t s) |
Allocate memory from heap. More... | |
static void | operator delete (void *p) |
Free memory allocated from heap. More... | |
Cutoff generator for the Luby sequence.
Definition at line 77 of file cutoff.hpp.
|
virtual |
Return the current cutoff value.
Implements Gecode::Search::Cutoff.
Definition at line 104 of file cutoff.cpp.
|
virtual |
Increment and return the next cutoff value.
Implements Gecode::Search::Cutoff.
Definition at line 108 of file cutoff.cpp.