void ppl_set_coef_gmp (ppl_Linear_Expression_t, ppl_dimension_type, Value);
void ppl_max_for_le_pointset (ppl_Pointset_Powerset_C_Polyhedron_t,
ppl_Linear_Expression_t, Value);
-void ppl_min_for_le_polyhedron (ppl_Polyhedron_t, ppl_Linear_Expression_t,
- Value);
+void ppl_min_for_le_pointset (ppl_Pointset_Powerset_C_Polyhedron_t,
+ ppl_Linear_Expression_t, Value);
+ppl_Constraint_t ppl_build_relation (int, int, int, int,
+ enum ppl_enum_Constraint_Type);
/* Assigns to RES the value of the INTEGER_CST T. */