- lmm_variable_t var, FLOAT value);
-void lmm_update_variable_bound(lmm_variable_t var, FLOAT bound);
-void lmm_update_variable_weight(lmm_variable_t var, FLOAT weight);
-void lmm_update_constraint_bound(lmm_constraint_t cnst, FLOAT bound);
+ lmm_variable_t var, double value);
+void lmm_update_variable_bound(lmm_system_t sys, lmm_variable_t var,
+ double bound);
+void lmm_update_variable_weight(lmm_system_t sys, lmm_variable_t var,
+ double weight);
+double lmm_get_variable_weight(lmm_system_t sys, lmm_variable_t var);
+
+void lmm_update_constraint_bound(lmm_system_t sys, lmm_constraint_t cnst,
+ double bound);
+
+int lmm_constraint_used(lmm_system_t sys, lmm_constraint_t cnst);