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