X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/347996b4a10c4e8579080692afa60e0afb88b60a..36ed9bb3db4df8293627b73fc83b6250b1026af1:/src/include/surf/maxmin.h

diff --git a/src/include/surf/maxmin.h b/src/include/surf/maxmin.h
index b7a0a72add..6a614a9f30 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
  *