34#ifndef __GECODE_FLATZINC_VARSPEC__HH__
35#define __GECODE_FLATZINC_VARSPEC__HH__
42namespace Gecode {
namespace FlatZinc {
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
Alias for a variable specification
Specification for Boolean variables.
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)
Specification for floating point variables.
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)
Specification for integer variables.
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)
Specification for set variables.
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)
Base class for variable specifications.
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.
Gecode toplevel namespace
const Val & some(void) const
static Option< Val > none(void)