38 #ifndef __GECODE_FLATZINC_VARSPEC__HH__
39 #define __GECODE_FLATZINC_VARSPEC__HH__
46 namespace Gecode {
namespace FlatZinc {
105 :
VarSpec(introduced,funcDep) {
109 :
VarSpec(introduced,funcDep) {
113 :
VarSpec(introduced,funcDep) {
132 :
VarSpec(introduced,funcDep) {
137 :
VarSpec(introduced,funcDep) {
151 :
VarSpec(introduced,funcDep) {
155 :
VarSpec(introduced,funcDep) {
160 :
VarSpec(introduced,funcDep) {
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)
const Val & some(void) const
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.
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)
struct Gecode::@512::NNF::@54::@55 b
For binary nodes (and, or, eqv)
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)
Specification for integer variables.
bool introduced
Whether the variable was introduced in the mzn2fzn translation.
BoolVarSpec(bool b, bool introduced, bool funcDep)
Option< AST::SetLit * > upperBound