Choice that only signals failure or success
More...
Choice that only signals failure or success
Definition at line 103 of file flatzinc.cpp.
Gecode::FlatZinc::AuxVarBrancher::Choice::Choice |
( |
const Brancher & |
b, |
|
|
bool |
fail0 |
|
) |
| |
|
inline |
Initialize choice for brancher b.
Definition at line 108 of file flatzinc.cpp.
virtual size_t Gecode::FlatZinc::AuxVarBrancher::Choice::size |
( |
void |
| ) |
const |
|
inlinevirtual |
virtual void Gecode::FlatZinc::AuxVarBrancher::Choice::archive |
( |
Archive & |
e | ) |
const |
|
inlinevirtual |
bool Gecode::FlatZinc::AuxVarBrancher::Choice::fail |
The documentation for this class was generated from the following file: