Cutoff generator for constant sequence. More...
#include <search.hh>
Public Member Functions | |
CutoffConstant (unsigned long int c) | |
Constructor. More... | |
virtual unsigned long int | operator() (void) const |
Return the current cutoff value. More... | |
virtual unsigned long int | operator++ (void) |
Increment and return the next cutoff value. More... | |
![]() | |
Cutoff (void) | |
Default constructor. More... | |
virtual | ~Cutoff (void) |
Destructor. More... | |
Protected Attributes | |
unsigned long int | c |
Constant. More... | |
|
inline |
Constructor.
Definition at line 59 of file cutoff.hpp.
|
virtual |
Return the current cutoff value.
Implements Gecode::Search::Cutoff.
Definition at line 48 of file cutoff.cpp.
|
virtual |
Increment and return the next cutoff value.
Implements Gecode::Search::Cutoff.
Definition at line 52 of file cutoff.cpp.
|
protected |