| 213 | |
| 214 | |
| 215 | void Qcop::optimize(int scope, int optType,OptVar* var) { |
| 216 | if (var->getScope() < scope) {cout<<"optvar out of optimizing scope"<<endl;abort();} // Variable � optimiser avant d�cideur |
| 217 | for (int i=scope; i<var->getScope();i++) { |
| 218 | if (Quantifiers[i]) // universelle entre variable et d�cideur |
| 219 | { cout<<"universal scope between variable and optimizing scope"<<endl;abort();} |
| 220 | } |
| 221 | // cout<<"I add an optVar* for scope "<<scope<<endl; |
| 222 | optim[scope].vars.clear(); |
| 223 | optim[scope].vars.push_back(var); |
| 224 | optim[scope].opt_type=optType; |
| 225 | } |
| 226 | |
| 227 | |
| 228 | MySpace* Qcop::getSpace(int scope) { |