- reset solutions in resolveQueue
* need user interaction) and "false" if there were problems. In
* the latter case, use problems() and later applySolutions()
* below.
+ * The solution could be that the solver remove/add some entries
+ * in the task queue. So make a new call of resolveQueue after you
+ * have applied any solution AND check the parameter "queue" if
+ * there has been any changes by the solver and adapt these changes
+ * to e.g. the selectables.
+ *
**/
bool resolveQueue (solver::detail::SolverQueueItemList & queue);
queue.push_back(*iter);
}
}
+
+ // The application has to take care to write these solutions back to e.g. selectables in order
+ // give the user a chance for changing these decisions again.
+ _removed_queue_items.clear();
+ _added_queue_items.clear();
return _satResolver->resolveQueue(queue, _addWeak);
}