| 134 | |
| 135 | |
| 136 | IntVar Qcop::var(int n) { |
| 137 | if (!varInitialised[n]) { |
| 138 | cout<<"Variable "<<n<<" not initialized !"<<endl; |
| 139 | abort(); |
| 140 | } |
| 141 | if (type_of_v[n] != VTYPE_INT) { |
| 142 | cout<<"Variable "<<n<<" is not INT"<<endl; |
| 143 | abort(); |
| 144 | } |
| 145 | return *(static_cast<IntVar*>(space()->v[n])); |
| 146 | } |
| 147 | |
| 148 | |
| 149 | BoolVar Qcop::bvar(int n) { |