Cutoff generator appending two cutoff generators. More...
#include <cutoff.hpp>
Public Member Functions | |
virtual unsigned long int | operator() (void) |
Return next cutoff value. | |
virtual | ~CutoffAppend (void) |
Destructor. |
Cutoff generator appending two cutoff generators.
Definition at line 132 of file cutoff.hpp.
Gecode::Search::CutoffAppend::~CutoffAppend | ( | void | ) | [inline, virtual] |
Destructor.
Definition at line 138 of file cutoff.cpp.
unsigned long int Gecode::Search::CutoffAppend::operator() | ( | void | ) | [virtual] |
Return next cutoff value.
Implements Gecode::Search::Cutoff.
Definition at line 129 of file cutoff.cpp.