| 888 | } |
| 889 | |
| 890 | void |
| 891 | FlatZincSpace::newIntVar(IntVarSpec* vs) { |
| 892 | if (vs->alias) { |
| 893 | iv[intVarCount++] = iv[vs->i]; |
| 894 | } else { |
| 895 | IntSet dom(vs2is(vs)); |
| 896 | if (dom.size()==0) { |
| 897 | fail(); |
| 898 | return; |
| 899 | } else { |
| 900 | iv[intVarCount++] = IntVar(*this, dom); |
| 901 | } |
| 902 | } |
| 903 | iv_introduced[2*(intVarCount-1)] = vs->introduced; |
| 904 | iv_introduced[2*(intVarCount-1)+1] = vs->funcDep; |
| 905 | iv_boolalias[intVarCount-1] = -1; |
| 906 | } |
| 907 | |
| 908 | void |
| 909 | FlatZincSpace::aliasBool2Int(int iv, int bv) { |