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) {