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)
Gecode toplevel namespace
const Val & some(void) const
bool operator()(void) const