38 #ifndef __GECODE_FLATZINC_VARSPEC__HH__
39 #define __GECODE_FLATZINC_VARSPEC__HH__
46 namespace Gecode {
namespace FlatZinc {
72 : introduced(introduced0), funcDep(funcDep0) {}
105 :
VarSpec(introduced,funcDep) {
109 :
VarSpec(introduced,funcDep) {
113 :
VarSpec(introduced,funcDep) {
118 delete domain.
some();
128 :
VarSpec(introduced,funcDep), domain(
d) {
132 :
VarSpec(introduced,funcDep) {
137 :
VarSpec(introduced,funcDep) {
151 :
VarSpec(introduced,funcDep) {
155 :
VarSpec(introduced,funcDep) {
160 :
VarSpec(introduced,funcDep) {
165 delete upperBound.
some();
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)
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)
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
Gecode toplevel namespace
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