Cutoff generator that repeats a cutoff from another cutoff generator.
More...
#include <search.hh>
Cutoff generator that repeats a cutoff from another cutoff generator.
Definition at line 383 of file search.hh.
Gecode::Search::CutoffRepeat::CutoffRepeat |
( |
Cutoff * |
c, |
|
|
unsigned long int |
n |
|
) |
| |
|
inline |
Gecode::Search::CutoffRepeat::~CutoffRepeat |
( |
void |
| ) |
|
|
inlinevirtual |
unsigned long int Gecode::Search::CutoffRepeat::operator() |
( |
void |
| ) |
const |
|
virtual |
unsigned long int Gecode::Search::CutoffRepeat::operator++ |
( |
void |
| ) |
|
|
virtual |
Cutoff* Gecode::Search::CutoffRepeat::c |
|
protected |
Actual cutoff generator.
Definition at line 386 of file search.hh.
unsigned int Gecode::Search::CutoffRepeat::cutoff |
|
protected |
unsigned long int Gecode::Search::CutoffRepeat::i |
|
protected |
unsigned long int Gecode::Search::CutoffRepeat::n |
|
protected |
The documentation for this class was generated from the following files: