
Choice for performing commit More...
#include <gecode/kernel/core.hpp>
Public Member Functions | |
| unsigned int | alternatives (void) const |
| Return number of alternatives. | |
| virtual | ~Choice (void) |
| Destructor. | |
| virtual void | archive (Archive &e) const |
| Archive into e. | |
Protected Member Functions | |
| Choice (const Brancher &b, const unsigned int a) | |
| Initialize for particular brancher b and alternatives a. | |
Additional Inherited Members | |
| Static Public Member Functions inherited from Gecode::HeapAllocated | |
| static void * | operator new (size_t s) |
| Memory management. | |
| static void | operator delete (void *p) |
| Free memory allocated from heap. | |
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 |
|
virtual |