+/* /\* */
+/* * Update values of mu and lambda */
+/* *\/ */
+/* //forall mu_i in mu_1, mu_2, ..., mu_n */
+/* xbt_swag_foreach(var, var_list) { */
+/* var->mu = var->new_mu ; */
+/* } */
+
+/* //forall lambda_i in lambda_1, lambda_2, ..., lambda_n */
+/* xbt_swag_foreach(cnst, cnst_list) { */
+/* cnst->lambda = cnst->new_lambda; */
+/* } */
+