34 #ifndef __FLATZINC_OPTION_HH__
35 #define __FLATZINC_OPTION_HH__
37 namespace Gecode {
namespace FlatZinc {
47 const Val&
some(
void)
const {
return _v; }
48 Val&
some(
void) {
return _v; }
static Option< Val > none(void)
static Option< Val > some(const Val &v)
const Val & some(void) const
bool operator()(void) const