- Gecode
- FlatZinc
- AuxVarBrancher
- Choice

Choice that only signals failure or success More...
Public Member Functions | |
| Choice (const Brancher &b, bool fail0) | |
| Initialize choice for brancher b. More... | |
| virtual size_t | size (void) const |
| Report size occupied. More... | |
| virtual void | archive (Archive &e) const |
| Archive into e. More... | |
Public Member Functions inherited from Gecode::Choice | |
| unsigned int | alternatives (void) const |
| Return number of alternatives. More... | |
| virtual | ~Choice (void) |
| Destructor. More... | |
Public Attributes | |
| bool | fail |
| Whether brancher should fail. More... | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::HeapAllocated | |
| static void * | operator new (size_t s) |
| Memory management. More... | |
| static void | operator delete (void *p) |
| Free memory allocated from heap. More... | |
Protected Member Functions inherited from Gecode::Choice | |
| Choice (const Brancher &b, const unsigned int a) | |
| Initialize for particular brancher b and alternatives a. More... | |
Choice that only signals failure or success
Definition at line 137 of file flatzinc.cpp.
|
inline |
Initialize choice for brancher b.
Definition at line 142 of file flatzinc.cpp.
|
inlinevirtual |
Report size occupied.
Definition at line 145 of file flatzinc.cpp.
|
inlinevirtual |
| bool Gecode::FlatZinc::AuxVarBrancher::Choice::fail |
Whether brancher should fail.
Definition at line 140 of file flatzinc.cpp.