| 92 | } |
| 93 | |
| 94 | WorkManager::WorkManager(Qcop* p,WorkComparator* c) : Todos(c) { |
| 95 | problem=p; |
| 96 | vector<int> v; |
| 97 | MySpace* espace=p->getSpace(0); |
| 98 | Options o; |
| 99 | Engine* solutions = new WorkerToEngine<Gecode::Search::Sequential::DFS>(espace,/*sizeof(MySpace),*/o); |
| 100 | QWork first(0,v,solutions); |
| 101 | Todos.push(first); |
| 102 | finished=false; |
| 103 | S = Strategy::Dummy(); |
| 104 | S.attach(Strategy::Stodo()); |
| 105 | } |
| 106 | |
| 107 | QWork WorkManager::getWork(AQWorker* worker) { |
| 108 | // clock_t start = clock(); |