Minimal brancher description storing no information.
More...
|
static void * | operator new (size_t s) |
| Memory management.
|
|
static void | operator delete (void *p) |
| Free memory allocated from heap.
|
|
| Choice (const Brancher &b, const unsigned int a) |
| Initialize for particular brancher b and alternatives a.
|
|
Minimal brancher description storing no information.
Definition at line 44 of file function.cpp.
◆ Description()
Gecode::Kernel::FunctionBranch::Description::Description |
( |
const Brancher & | b, |
|
|
unsigned int | a ) |
|
inline |
Initialize description for brancher b, number of alternatives a.
Definition at line 80 of file function.cpp.
◆ archive()
void Gecode::Kernel::FunctionBranch::Description::archive |
( |
Archive & | e | ) |
const |
|
virtual |
The documentation for this class was generated from the following file: