38 #ifndef __GECODE_FLATZINC_VARSPEC__HH__ 39 #define __GECODE_FLATZINC_VARSPEC__HH__ 46 namespace Gecode {
namespace FlatZinc {
Option< AST::SetLit *> domain
IntVarSpec(int i0, bool introduced, bool funcDep)
Specification for set variables.
FloatVarSpec(Option< std::pair< double, double > > &d, bool introduced, bool funcDep)
virtual ~VarSpec(void)
Destructor.
BoolVarSpec(const Alias &eq, bool introduced, bool funcDep)
FloatVarSpec(double d, bool introduced, bool funcDep)
bool alias
Whether the variable aliases another variable.
SetVarSpec(const Option< AST::SetLit * > &v, bool introduced, bool funcDep)
Option< std::pair< double, double > > domain
SetVarSpec(AST::SetLit *v, bool introduced, bool funcDep)
SetVarSpec(const Alias &eq, bool introduced, bool funcDep)
Specification for Boolean variables.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
VarSpec(bool introduced0, bool funcDep0)
Constructor.
SetVarSpec(bool introduced, bool funcDep)
BoolVarSpec(Option< AST::SetLit * > &d, bool introduced, bool funcDep)
bool funcDep
Whether the variable functionally depends on another variable.
static Option< Val > none(void)
Option< AST::SetLit *> domain
bool assigned
Whether the variable is assigned.
IntVarSpec(const Option< AST::SetLit * > &d, bool introduced, bool funcDep)
Specification for floating point variables.
Base class for variable specifications.
IntVarSpec(const Alias &eq, bool introduced, bool funcDep)
Alias for a variable specification
FloatVarSpec(const Alias &eq, bool introduced, bool funcDep)
Gecode toplevel namespace
Specification for integer variables.
bool introduced
Whether the variable was introduced in the mzn2fzn translation.
const Val & some(void) const
BoolVarSpec(bool b, bool introduced, bool funcDep)
Option< AST::SetLit * > upperBound