
Optional value. More...
#include <option.hh>
Public Member Functions | |
| bool | operator() (void) const |
| const Val & | some (void) const |
Static Public Member Functions | |
| static Option< Val > | none (void) |
| static Option< Val > | some (const Val &v) |
Optional value.
| bool Gecode::FlatZinc::Option< Val >::operator() | ( | void | ) | const [inline] |
| const Val& Gecode::FlatZinc::Option< Val >::some | ( | void | ) | const [inline] |
| static Option<Val> Gecode::FlatZinc::Option< Val >::none | ( | void | ) | [inline, static] |
| static Option<Val> Gecode::FlatZinc::Option< Val >::some | ( | const Val & | v | ) | [inline, static] |