Choice for performing commit More...
#include <core.hpp>
Public Member Functions | |
unsigned int | alternatives (void) const |
Return number of alternatives. More... | |
virtual | ~Choice (void) |
Destructor. More... | |
virtual size_t | size (void) const =0 |
Report size occupied by choice. More... | |
virtual void | archive (Archive &e) const |
Archive into e. More... | |
Static Public Member Functions | |
static void * | operator new (size_t) |
Allocate memory from heap. More... | |
static void | operator delete (void *) |
Return memory to heap. More... | |
Protected Member Functions | |
Choice (const Brancher &b, const unsigned int a) | |
Initialize for particular brancher b and alternatives a. More... | |
Choice for performing commit
Must be refined by inheritance such that the information stored inside a choice is sufficient to redo a commit performed by a particular brancher.
|
inlineprotected |
|
inlinevirtual |
|
inline |
|
pure virtual |
Report size occupied by choice.
Implemented in SteelMill::SteelMillBranch::Choice, Gecode::Int::LDSB::LDSBChoice< Val >, CDBF::Choice, Gecode::FlatZinc::AuxVarBrancher::Choice, Warnsdorff::Choice, Gecode::PosChoice, Gecode::Int::Branch::PosValuesChoice, Gecode::PosValChoice< Val >, Gecode::FunctionBranch::Description, and Gecode::Gist::StopChoice.
|
inlinestatic |
|
inlinestatic |
|
virtual |
Archive into e.
Reimplemented in SteelMill::SteelMillBranch::Choice, Gecode::Int::LDSB::LDSBChoice< Val >, CDBF::Choice, Gecode::FlatZinc::AuxVarBrancher::Choice, Warnsdorff::Choice, Gecode::Int::Branch::PosValuesChoice, Gecode::PosChoice, Gecode::PosValChoice< Val >, Gecode::FunctionBranch::Description, and Gecode::Gist::StopChoice.