| 915 | } |
| 916 | |
| 917 | void |
| 918 | FlatZincSpace::newBoolVar(BoolVarSpec* vs) { |
| 919 | if (vs->alias) { |
| 920 | bv[boolVarCount++] = bv[vs->i]; |
| 921 | } else { |
| 922 | bv[boolVarCount++] = BoolVar(*this, vs2bsl(vs), vs2bsh(vs)); |
| 923 | } |
| 924 | bv_introduced[2*(boolVarCount-1)] = vs->introduced; |
| 925 | bv_introduced[2*(boolVarCount-1)+1] = vs->funcDep; |
| 926 | } |
| 927 | |
| 928 | #ifdef GECODE_HAS_SET_VARS |
| 929 | void |