X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/85a900615bf3c8639bf74b811156d250c0e5ee6c..cc41546951de75fb6a757023dd1502449ab306ac:/src/surf/maxmin.c diff --git a/src/surf/maxmin.c b/src/surf/maxmin.c index 3d49f84d12..2b657942ec 100644 --- a/src/surf/maxmin.c +++ b/src/surf/maxmin.c @@ -258,6 +258,62 @@ XBT_INLINE double lmm_variable_getbound(lmm_variable_t var) return (var->bound); } +void lmm_shrink(lmm_system_t sys, lmm_constraint_t cnst, + lmm_variable_t var) +{ + lmm_element_t elem = NULL; + int found = 0; + + int i; + for (i = 0; i < var->cnsts_number; i++) { + elem = &(var->cnsts[i]); + if (elem->constraint == cnst) { + found = 1; + break; + } + } + + if (!found) { + XBT_WARN("cnst %p is not found in var %p", cnst, var); + return; + } + + sys->modified = 1; + + XBT_INFO("remove elem(value %lf, cnst %p, var %p) in var %p", + elem->value, elem->constraint, elem->variable, var); + + xbt_swag_remove(elem, &(elem->constraint->element_set)); + var->cnsts[i] = var->cnsts[var->cnsts_number - 1]; + var->cnsts_number -= 1; + + + if (xbt_swag_size(&(cnst->element_set)) == 0) + make_constraint_inactive(sys, cnst); + else { + /* This shrink operation effects the given constraint as well as all the constraints of the variable? */ + lmm_update_modified_set(sys, cnst); + lmm_update_modified_set(sys, var->cnsts[0].constraint); + } + + +#if 0 + if (!sys->selective_update_active) { + make_constraint_active(sys, cnst); + + } else if (elem->value > 0 || var->weight > 0) { + make_constraint_active(sys, cnst); + lmm_update_modified_set(sys, cnst); + + /* FIXME: Why is only the cnsts[0] used here? Don't we do this other cnts[i]? */ + /* if a variable object has changes, we might want to propagate changes to all constraints of it? */ + if (var->cnsts_number > 1) + lmm_update_modified_set(sys, var->cnsts[0].constraint); + } +#endif + +} + void lmm_expand(lmm_system_t sys, lmm_constraint_t cnst, lmm_variable_t var, double value) {