X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/47051f71107e37364825333f872acba2bb712a28..caf6aba21918125649ff5a84fafb22e225b2d580:/src/include/surf/maxmin.h?ds=sidebyside

diff --git a/src/include/surf/maxmin.h b/src/include/surf/maxmin.h
index 6fbb863b75..27885bfeb7 100644
--- a/src/include/surf/maxmin.h
+++ b/src/include/surf/maxmin.h
@@ -217,7 +217,15 @@ XBT_PUBLIC(double) lmm_constraint_get_usage(lmm_constraint_t cnst);
  */
 XBT_PUBLIC(void) lmm_constraint_concurrency_limit_set(lmm_constraint_t cnst, int concurrency_limit);
 
+/**
+ * @brief Gets the concurrency limit for this constraint
+ * 
+ * @param cnst A constraint
+ * @return The concurrency limit used by this constraint
+ */
+XBT_PUBLIC(int) lmm_constraint_concurrency_limit_get(lmm_constraint_t cnst);
 
+			     
 /**
  * @brief Reset the concurrency maximum for a given variable (we will update the maximum to reflect constraint evolution).
  *
@@ -474,6 +482,13 @@ XBT_PUBLIC(void) lmm_update_constraint_bound(lmm_system_t sys,
  */
 XBT_PUBLIC(int) lmm_constraint_used(lmm_system_t sys, lmm_constraint_t cnst);
 
+/**
+ * @brief Print the lmm system
+ * 
+ * @param sys The lmm system to print
+ */
+XBT_PUBLIC(void) lmm_print(lmm_system_t sys);
+			     
 /**
  * @brief Solve the lmm system
  *