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