34#ifndef __GECODE_FLATZINC_VARSPEC__HH__
35#define __GECODE_FLATZINC_VARSPEC__HH__
Alias for a variable specification
BoolVarSpec(const Alias &eq, bool introduced, bool funcDep)
Option< AST::SetLit * > domain
BoolVarSpec(Option< AST::SetLit * > &d, bool introduced, bool funcDep)
BoolVarSpec(bool b, bool introduced, bool funcDep)
Option< std::pair< double, double > > domain
FloatVarSpec(const Alias &eq, bool introduced, bool funcDep)
FloatVarSpec(Option< std::pair< double, double > > &d, bool introduced, bool funcDep)
FloatVarSpec(double d, bool introduced, bool funcDep)
IntVarSpec(int i0, bool introduced, bool funcDep)
Option< AST::SetLit * > domain
IntVarSpec(const Option< AST::SetLit * > &d, bool introduced, bool funcDep)
IntVarSpec(const Alias &eq, bool introduced, bool funcDep)
SetVarSpec(const Option< AST::SetLit * > &v, bool introduced, bool funcDep)
SetVarSpec(AST::SetLit *v, bool introduced, bool funcDep)
Option< AST::SetLit * > upperBound
SetVarSpec(const Alias &eq, bool introduced, bool funcDep)
SetVarSpec(bool introduced, bool funcDep)
VarSpec(bool introduced0, bool funcDep0)
Constructor.
virtual ~VarSpec(void)
Destructor.
bool introduced
Whether the variable was introduced in the mzn2fzn translation.
bool assigned
Whether the variable is assigned.
bool alias
Whether the variable aliases another variable.
bool funcDep
Whether the variable functionally depends on another variable.
Interpreter for the FlatZinc language.
Gecode toplevel namespace
const Val & some(void) const
static Option< Val > none(void)