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

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

Cutoff generator that repeats a cutoff from another cutoff generator. More...

#include <search.hh>

List of all members.

Public Member Functions

 CutoffRepeat (Cutoff *c, unsigned long int n)
 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.
virtual ~CutoffRepeat (void)
 Destructor.

Protected Attributes

Cutoffc
 Actual cutoff generator.
unsigned int cutoff
unsigned long int i
unsigned long int n

Detailed Description

Cutoff generator that repeats a cutoff from another cutoff generator.

Definition at line 680 of file search.hh.


Constructor & Destructor Documentation

Gecode::Search::CutoffRepeat::CutoffRepeat ( Cutoff c,
unsigned long int  n 
) [inline]

Constructor.

Definition at line 118 of file cutoff.hpp.

Gecode::Search::CutoffRepeat::~CutoffRepeat ( void   )  [inline, virtual]

Destructor.

Definition at line 123 of file cutoff.hpp.


Member Function Documentation

unsigned long int Gecode::Search::CutoffRepeat::operator() ( void   )  const [virtual]

Return the current cutoff value.

Implements Gecode::Search::Cutoff.

Definition at line 133 of file cutoff.cpp.

unsigned long int Gecode::Search::CutoffRepeat::operator++ ( void   )  [virtual]

Increment and return the next cutoff value.

Implements Gecode::Search::Cutoff.

Definition at line 137 of file cutoff.cpp.


Member Data Documentation

Actual cutoff generator.

Definition at line 683 of file search.hh.

unsigned int Gecode::Search::CutoffRepeat::cutoff [protected]

Definition at line 685 of file search.hh.

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

Definition at line 687 of file search.hh.

unsigned long int Gecode::Search::CutoffRepeat::n [protected]

Definition at line 689 of file search.hh.


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