
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... | |
Public Member Functions inherited from Gecode::Search::Cutoff | |
| 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 |