Gecode::Search::CutoffLuby Class Reference

Cutoff generator for the Luby sequence. More...

#include <search.hh>

Public Member Functions
	CutoffLuby (unsigned long int scale)
	Constructor. More...
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...
Public Member Functions inherited from Gecode::Search::Cutoff
	Cutoff (void)
	Default constructor. More...
virtual	~Cutoff (void)
	Destructor. More...

Static Protected Member Functions
static unsigned long int	log (unsigned long int i)
	Compute binary logarithm of i. More...
static unsigned long int	luby (unsigned long int i)
	Compute Luby number for step i. More...

Protected Attributes
unsigned long int	i
	Iteration number. More...
unsigned long int	scale
	Scale factor. More...

Static Protected Attributes
static const unsigned long int	n_start = 63U
	Number of pre-computed luby values. More...
static unsigned long int	start [n_start]
	Precomputed luby-values. More...

Detailed Description

Cutoff generator for the Luby sequence.

Definition at line 264 of file search.hh.

Constructor & Destructor Documentation

Gecode::Search::CutoffLuby::CutoffLuby ( unsigned long int  scale )

inline

Constructor.

Definition at line 69 of file cutoff.hpp.

Member Function Documentation

unsigned long int Gecode::Search::CutoffLuby::log ( unsigned long int  i )

inlinestaticprotected

Compute binary logarithm of i.

Definition at line 72 of file cutoff.hpp.

unsigned long int Gecode::Search::CutoffLuby::luby ( unsigned long int  i )

inlinestaticprotected

Compute Luby number for step i.

Definition at line 80 of file cutoff.hpp.

unsigned long int Gecode::Search::CutoffLuby::operator() ( void  ) const

virtual

Return the current cutoff value.

Implements Gecode::Search::Cutoff.

Definition at line 74 of file cutoff.cpp.

unsigned long int Gecode::Search::CutoffLuby::operator++ ( void  )

virtual

Increment and return the next cutoff value.

Implements Gecode::Search::Cutoff.

Definition at line 78 of file cutoff.cpp.

Member Data Documentation

unsigned long int Gecode::Search::CutoffLuby::i

protected

Iteration number.

Definition at line 267 of file search.hh.

unsigned long int Gecode::Search::CutoffLuby::scale

protected

Scale factor.

Definition at line 269 of file search.hh.

const unsigned long int Gecode::Search::CutoffLuby::n_start = 63U

staticprotected

Number of pre-computed luby values.

Definition at line 271 of file search.hh.

unsigned long int Gecode::Search::CutoffLuby::start

staticprotected

Initial value:

= {
    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,
    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
  }

Precomputed luby-values.

Definition at line 273 of file search.hh.

---

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

• gecode/search.hh (Revision: 14443)
• gecode/search/cutoff.cpp (Revision: 14471)
• gecode/search/cutoff.hpp (Revision: 14434)