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