Choice that only signals failure or success
More...
|
| bool | fail |
| | Whether brancher should fail.
|
| |
|
| 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.
|
| |
Choice that only signals failure or success
Definition at line 137 of file flatzinc.cpp.
◆ Choice()
| Gecode::FlatZinc::AuxVarBrancher::Choice::Choice |
( |
const Brancher & | b, |
|
|
bool | fail0 ) |
|
inline |
Initialize choice for brancher b.
Definition at line 142 of file flatzinc.cpp.
◆ size()
| virtual size_t Gecode::FlatZinc::AuxVarBrancher::Choice::size |
( |
void | | ) |
const |
|
inlinevirtual |
◆ archive()
| virtual void Gecode::FlatZinc::AuxVarBrancher::Choice::archive |
( |
Archive & | e | ) |
const |
|
inlinevirtual |
◆ fail
| bool Gecode::FlatZinc::AuxVarBrancher::Choice::fail |
The documentation for this class was generated from the following file: