
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::Choice | |
| static void * | operator new (size_t) |
| Allocate memory from heap. More... | |
| static void | operator delete (void *) |
| Return memory to 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 103 of file flatzinc.cpp.
|
inline |
Initialize choice for brancher b.
Definition at line 108 of file flatzinc.cpp.
|
inlinevirtual |
|
inlinevirtual |
| bool Gecode::FlatZinc::AuxVarBrancher::Choice::fail |
Whether brancher should fail.
Definition at line 106 of file flatzinc.cpp.