- if(cnst->usage>0) {
- // TODO Créer une contrainte light
- // À partir de maintenant, usage et remaining sont dans cnst_light uniquement.
- // En fait, usage et remaining doivent disparaitre complètement de cnst pour n'être que dans cnst_light.
- xbt_swag_remove(cnst, cnst_list);
- xbt_swag_insert_at_head(cnst, cnst_list);
+
+ if(cnst->usage > 0) {
+ cnst_light_tab[cnst_light_num].cnst = cnst;
+ cnst->cnst_light = &(cnst_light_tab[cnst_light_num]);
+ cnst_light_tab[cnst_light_num].remaining_over_usage = cnst->remaining / cnst->usage;
+ saturated_constraint_set_update(cnst_light_tab[cnst_light_num].remaining_over_usage,
+ cnst_light_num, saturated_constraint_set, &min_usage);
+ cnst_light_num++;