Gecode::Search::Cutoff Class Reference

Base class for cutoff generators for restart-based meta engine. More...

#include <gecode/search.hh>

Constructors and member functions
	Cutoff (void)
	Default constructor.
virtual unsigned long long int	operator() (void) const =0
	Return the current cutoff value.
virtual unsigned long long int	operator++ (void)=0
	Increment and return the next cutoff value.
virtual	~Cutoff (void)
	Destructor.

Predefined cutoff generators
static Cutoff *	constant (unsigned long long int scale=Config::slice)
	Create generator for constant sequence with constant s.
static Cutoff *	linear (unsigned long long int scale=Config::slice)
	Create generator for linear sequence scaled by scale.
static Cutoff *	geometric (unsigned long long int scale=Config::slice, double base=Config::base)
static Cutoff *	luby (unsigned long long int scale=Config::slice)
	Create generator for luby sequence with scale-factor scale.
static Cutoff *	rnd (unsigned int seed, unsigned long long int min, unsigned long long int max, unsigned long long int n)
static Cutoff *	append (Cutoff *c1, unsigned long long int n, Cutoff *c2)
	Append cutoff values from c2 after n values from c1.
static Cutoff *	merge (Cutoff *c1, Cutoff *c2)
	Merge cutoff values from c1 with values from c2.
static Cutoff *	repeat (Cutoff *c, unsigned long long int n)
	Create generator that repeats n times each cutoff value from c.

Additional Inherited Members
Static Public Member Functions inherited from Gecode::HeapAllocated
static void *	operator new (size_t s)
	Memory management.
static void	operator delete (void *p)
	Free memory allocated from heap.

Detailed Description

Base class for cutoff generators for restart-based meta engine.

Definition at line 476 of file search.hh.

Constructor & Destructor Documentation

Cutoff()

Gecode::Search::Cutoff::Cutoff ( void )

inline

Default constructor.

Definition at line 41 of file cutoff.hpp.

~Cutoff()

Gecode::Search::Cutoff::~Cutoff ( void )

inlinevirtual

Destructor.

Definition at line 43 of file cutoff.hpp.

Member Function Documentation

operator()()

virtual unsigned long long int Gecode::Search::Cutoff::operator() ( void ) const

pure virtual

Return the current cutoff value.

Implemented in Gecode::Search::CutoffAppend, Gecode::Search::CutoffConstant, Gecode::Search::CutoffGeometric, Gecode::Search::CutoffLinear, Gecode::Search::CutoffLuby, Gecode::Search::CutoffMerge, Gecode::Search::CutoffRandom, and Gecode::Search::CutoffRepeat.

operator++()

virtual unsigned long long int Gecode::Search::Cutoff::operator++ ( void )

pure virtual

Increment and return the next cutoff value.

Implemented in Gecode::Search::CutoffAppend, Gecode::Search::CutoffConstant, Gecode::Search::CutoffGeometric, Gecode::Search::CutoffLinear, Gecode::Search::CutoffLuby, Gecode::Search::CutoffMerge, Gecode::Search::CutoffRandom, and Gecode::Search::CutoffRepeat.

constant()

Cutoff * Gecode::Search::Cutoff::constant ( unsigned long long int scale = Config::slice )

static

Create generator for constant sequence with constant s.

linear()

Cutoff * Gecode::Search::Cutoff::linear ( unsigned long long int scale = Config::slice )

static

Create generator for linear sequence scaled by scale.

geometric()

Cutoff * Gecode::Search::Cutoff::geometric ( unsigned long long int scale = Config::slice, double base = Config::base )

static

Create generator for geometric sequence scaled by scale using base base

luby()

Cutoff * Gecode::Search::Cutoff::luby ( unsigned long long int scale = Config::slice )

static

Create generator for luby sequence with scale-factor scale.

rnd()

Cutoff * Gecode::Search::Cutoff::rnd ( unsigned int seed, unsigned long long int min, unsigned long long int max, unsigned long long int n )

static

Create generator for random sequence with seed seed that generates values between min and max with n steps between the extreme values.

append()

Cutoff * Gecode::Search::Cutoff::append ( Cutoff * c1, unsigned long long int n, Cutoff * c2 )

static

Append cutoff values from c2 after n values from c1.

merge()

Cutoff * Gecode::Search::Cutoff::merge ( Cutoff * c1, Cutoff * c2 )

static

Merge cutoff values from c1 with values from c2.

repeat()

Cutoff * Gecode::Search::Cutoff::repeat ( Cutoff * c, unsigned long long int n )

static

Create generator that repeats n times each cutoff value from c.

---

The documentation for this class was generated from the following files:

• gecode/search.hh
• gecode/search/cutoff.hpp