Cutoff generator for the random sequence. More...
#include <cutoff.hpp>
Public Member Functions | |
virtual unsigned long int | operator() (void) |
Return next cutoff value. |
Cutoff generator for the random sequence.
Definition at line 111 of file cutoff.hpp.
unsigned long int Gecode::Search::CutoffRandom::operator() | ( | void | ) | [virtual] |
Return next cutoff value.
Implements Gecode::Search::Cutoff.
Definition at line 120 of file cutoff.cpp.