Gecode::FlatZinc::AuxVarBrancher::Choice Class Reference
Choice that only signals failure or success More...
Public Member Functions | |
Choice (const Brancher &b, bool fail0) | |
Initialize choice for brancher b. | |
virtual size_t | size (void) const |
Report size occupied. | |
virtual void | archive (Archive &e) const |
Archive into e. | |
Public Attributes | |
bool | fail |
Whether brancher should fail. |
Detailed Description
Choice that only signals failure or success
Definition at line 137 of file flatzinc.cpp.
Constructor & Destructor Documentation
Gecode::FlatZinc::AuxVarBrancher::Choice::Choice | ( | const Brancher & | b, | |
bool | fail0 | |||
) | [inline] |
Initialize choice for brancher b.
Definition at line 142 of file flatzinc.cpp.
Member Function Documentation
virtual size_t Gecode::FlatZinc::AuxVarBrancher::Choice::size | ( | void | ) | const [inline, virtual] |
Report size occupied.
Definition at line 145 of file flatzinc.cpp.
virtual void Gecode::FlatZinc::AuxVarBrancher::Choice::archive | ( | Archive & | e | ) | const [inline, virtual] |
Member Data Documentation
Whether brancher should fail.
Definition at line 140 of file flatzinc.cpp.
The documentation for this class was generated from the following file:
- gecode/flatzinc/flatzinc.cpp