Gecode::Search::CutoffLuby Class Reference
[Search engines]

Cutoff generator for the Luby sequence. More...

#include <search.hh>

List of all members.

Public Member Functions
	CutoffLuby (unsigned long int scale)
	Constructor.
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.
Static Protected Member Functions
static unsigned long int	log (unsigned long int i)
	Compute binary logarithm of i.
static unsigned long int	luby (unsigned long int i)
	Compute Luby number for step i.
Protected Attributes
unsigned long int	i
	Iteration number.
unsigned long int	scale
	Scale factor.
Static Protected Attributes
static const unsigned long int	n_start = 63U
	Number of pre-computed luby values.
static unsigned long int	start [n_start]
	Precomputed luby-values.

---

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

)

[inline, static, protected]

Compute binary logarithm of i.

Definition at line 72 of file cutoff.hpp.

unsigned long int Gecode::Search::CutoffLuby::luby

(

unsigned long int

i

)

[inline, static, protected]

Compute Luby number for step i.

Reimplemented from Gecode::Search::Cutoff.

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 [static, protected]

Number of pre-computed luby values.

Definition at line 271 of file search.hh.

unsigned long int Gecode::Search::CutoffLuby::start [static, protected]

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)