[PPL-devel] C interface

Hello,

I use the C interface of the Parma Polyhedra Library but I have some problems to build a linear expression. I want to build the linear expression "x_1 + 5x_3 - 100 >= 0" for example but I do not arrive.

I do "ppl_new_Linear_Expression _with_dimension(&ple, (ppl_dimension_type) 4);" and after I want to add the values to the variables by using the "ppl_Linear_Expression_add_to_coefficient(ple, coefficient_index[i], ppl_coeff);" function but that doesn't go.

I don't understand how we can build a linear expression just using this 2 functions.

Can you help me by giving me the code to build this linear expression with the C interface and to explain it ?

Thank you in advance.

Simon