+ make_constraint_active(sys, cnst);
+}
+
+lmm_constraint_t lmm_get_cnst_from_var(lmm_system_t sys,
+ lmm_variable_t var, int num)
+{
+ if (num < var->cnsts_number)
+ return (var->cnsts[num].constraint);
+ else
+ return NULL;
+}
+
+int lmm_get_number_of_cnst_from_var(lmm_system_t sys, lmm_variable_t var)
+{
+ return (var->cnsts_number);
+}
+
+lmm_variable_t lmm_get_var_from_cnst(lmm_system_t sys,
+ lmm_constraint_t cnst,
+ lmm_variable_t * var)
+{
+ if (!(*var))
+ xbt_swag_getFirst(&(cnst->element_set));
+ else
+ *var = xbt_swag_getNext(*var, cnst->element_set.offset);
+ return *var;
+}
+
+void *lmm_constraint_id(lmm_constraint_t cnst)
+{
+ return cnst->id;
+}
+
+void *lmm_variable_id(lmm_variable_t var)
+{
+ return var->id;
+}
+
+static void saturated_constraint_set_update(lmm_system_t sys,
+ lmm_constraint_t cnst,
+ double *min_usage)
+{
+ lmm_constraint_t useless_cnst = NULL;
+
+ if (cnst->usage <= 0)
+ return;
+ if (cnst->remaining <= 0)
+ return;
+ if ((*min_usage < 0) || (*min_usage > cnst->remaining / cnst->usage)) {
+ *min_usage = cnst->remaining / cnst->usage;
+
+ while ((useless_cnst =
+ xbt_swag_getFirst(&(sys->saturated_constraint_set))))
+ xbt_swag_remove(useless_cnst, &(sys->saturated_constraint_set));
+
+ xbt_swag_insert(cnst, &(sys->saturated_constraint_set));
+ } else if (*min_usage == cnst->remaining / cnst->usage) {
+ xbt_swag_insert(cnst, &(sys->saturated_constraint_set));
+ }
+}
+
+static void saturated_variable_set_update(lmm_system_t sys)
+{
+ lmm_constraint_t cnst = NULL;
+ xbt_swag_t cnst_list = NULL;
+ lmm_element_t elem = NULL;
+ xbt_swag_t elem_list = NULL;
+
+ cnst_list = &(sys->saturated_constraint_set);
+ while ((cnst = xbt_swag_getFirst(cnst_list))) {
+ elem_list = &(cnst->active_element_set);
+ xbt_swag_foreach(elem, elem_list)
+ if ((elem->value > 0) && (elem->variable->weight > 0))
+ xbt_swag_insert(elem->variable, &(sys->saturated_variable_set));
+ xbt_swag_remove(cnst, cnst_list);
+ }
+