38 #ifndef __FLATZINC_OPTION_HH__
39 #define __FLATZINC_OPTION_HH__
41 namespace Gecode {
namespace FlatZinc {
51 const Val&
some(
void)
const {
return _v; }
52 Val&
some(
void) {
return _v; }
const Val & some(void) const
bool operator()(void) const
static Option< Val > none(void)
static Option< Val > some(const Val &v)
Gecode toplevel namespace