+xbt_maxmin_float_t lmm_variable_getvalue(lmm_variable_t var);
+
+
+void lmm_expand(lmm_system_t sys, lmm_constraint_t cnst,
+ lmm_variable_t var, xbt_maxmin_float_t value);
+
+lmm_constraint_t lmm_get_cnst_from_var(lmm_system_t sys, lmm_variable_t var, int num);
+int lmm_get_number_of_cnst_from_var(lmm_system_t sys, lmm_variable_t var);
+lmm_variable_t lmm_get_var_from_cnst(lmm_system_t sys, lmm_constraint_t cnst,
+ lmm_variable_t *var);
+
+void *lmm_constraint_id(lmm_constraint_t cnst);
+void *lmm_variable_id(lmm_variable_t var);
+
+void lmm_update(lmm_system_t sys, lmm_constraint_t cnst,
+ lmm_variable_t var, xbt_maxmin_float_t value);
+void lmm_update_variable_bound(lmm_system_t sys, lmm_variable_t var,
+ xbt_maxmin_float_t bound);
+void lmm_update_variable_weight(lmm_system_t sys, lmm_variable_t var,
+ xbt_maxmin_float_t weight);
+void lmm_update_constraint_bound(lmm_system_t sys, lmm_constraint_t cnst,
+ xbt_maxmin_float_t bound);
+
+int lmm_constraint_used(lmm_system_t sys, lmm_constraint_t cnst);