[PPL-devel] C interface

[Lambert Simon]

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