| 55 | } |
| 56 | |
| 57 | Strategy QCSP_Solver::solve(unsigned long int& nodes, unsigned int limit,bool allStrategies) |
| 58 | { |
| 59 | this->limit=limit; |
| 60 | MySpace* espace=sp->getSpace(0); |
| 61 | Options o; |
| 62 | Engine* solutions = new WorkerToEngine<Gecode::Search::Sequential::DFS>(espace,/*sizeof(MySpace),*/o); |
| 63 | return rSolve(sp,0,solutions,nodes,allStrategies); |
| 64 | } |
| 65 | |
| 66 | |
| 67 |