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] |