| 206 | |
| 207 | |
| 208 | OptVar* Qcop::getExistential(int var) { |
| 209 | if (Quantifiers[whichSpaceOwns[var]]) {cout<<"can't create existOptVar : variable "<<var<<" is universal"<<endl;abort();} // Var est universelle |
| 210 | ExistOptVar* opt = new ExistOptVar(var,whichSpaceOwns[var]); |
| 211 | return opt; |
| 212 | } |
| 213 | |
| 214 | |
| 215 | void Qcop::optimize(int scope, int optType,OptVar* var) { |