Cutoff generator that repeats a cutoff from another cutoff generator. More...
#include <cutoff.hpp>
Public Member Functions | |
virtual unsigned long int | operator() (void) |
Return next cutoff value. | |
virtual | ~CutoffRepeat (void) |
Destructor. |
Cutoff generator that repeats a cutoff from another cutoff generator.
Definition at line 151 of file cutoff.hpp.
Gecode::Search::CutoffRepeat::~CutoffRepeat | ( | void | ) | [inline, virtual] |
Destructor.
Definition at line 159 of file cutoff.cpp.
unsigned long int Gecode::Search::CutoffRepeat::operator() | ( | void | ) | [virtual] |
Return next cutoff value.
Implements Gecode::Search::Cutoff.
Definition at line 149 of file cutoff.cpp.