X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/91f0f8acd7bb93039252812ab45521b948ff50f4..5c83394d7f1f7e2aa6d9d2fa7467afa4da9b7bd9:/src/include/surf/maxmin.h

diff --git a/src/include/surf/maxmin.h b/src/include/surf/maxmin.h
index 1d76633441..e0b072368d 100644
--- a/src/include/surf/maxmin.h
+++ b/src/include/surf/maxmin.h
@@ -40,5 +40,7 @@ void lmm_update_variable_weight(lmm_variable_t var,
 void lmm_update_constraint_bound(lmm_constraint_t cnst,
 				 xbt_maxmin_float_t bound);
 
+int lmm_constraint_used(lmm_system_t sys, lmm_constraint_t cnst);
+
 void lmm_solve(lmm_system_t sys);
 #endif				/* _SURF_MAXMIN_H */