
| none(void) | Gecode::FlatZinc::Option< Val > | [inline, static] |
| operator()(void) const | Gecode::FlatZinc::Option< Val > | [inline] |
| some(void) const | Gecode::FlatZinc::Option< Val > | [inline] |
| some(const Val &v) | Gecode::FlatZinc::Option< Val > | [inline, static] |