Generated on Fri Oct 19 11:26:19 2018 for Gecode by doxygen 1.6.3

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 561 of file search.hh.


Constructor & Destructor Documentation

Gecode::Search::CutoffLuby::CutoffLuby ( unsigned long int  scale  )  [inline]

Constructor.

Definition at line 57 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 60 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 68 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 70 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 74 of file cutoff.cpp.


Member Data Documentation

unsigned long int Gecode::Search::CutoffLuby::i [protected]

Iteration number.

Definition at line 564 of file search.hh.

unsigned long int Gecode::Search::CutoffLuby::scale [protected]

Scale factor.

Definition at line 566 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 568 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 570 of file search.hh.


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