Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Ensure that all constraints are put in modified_constraint_set on lmm_expand.
authorArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Fri, 9 Dec 2011 15:45:10 +0000 (16:45 +0100)
committerNavarrop <Pierre.Navarro@imag.fr>
Fri, 6 Jan 2012 15:30:35 +0000 (16:30 +0100)
Without this change, if cnst was previously marked as modified, the constraints
involving var were not considered.

src/surf/maxmin.c

index c7f2d8e..191068f 100644 (file)
@@ -258,6 +258,8 @@ void lmm_expand(lmm_system_t sys, lmm_constraint_t cnst,
 
   make_constraint_active(sys, cnst);
   lmm_update_modified_set(sys, cnst);
+  if (var->cnsts_number > 1)
+    lmm_update_modified_set(sys, var->cnsts[0].constraint);
 }
 
 void lmm_expand_add(lmm_system_t sys, lmm_constraint_t cnst,