[PPL-devel] frequency and java bindings

[Gianluca Amato]

Hi,
I think there is a bug in the "frequency" method in the PPL java 
bindings. Every time it is called, the
UnsatisfiedLinkError excpetion is thrown. Here is an example for the 
C_Polyehdron class, but the same happens for other classes.

import parma_polyhedra_library.*;

public class ProvaPPL {
     public static void main(String[] args) {
         System.load("/usr/local/lib/ppl/libppl_java.so");
         Parma_Polyhedra_Library.initialize_library();

         Coefficient c1 = new Coefficient(0);
         Coefficient c2 = new Coefficient(0);
         Coefficient c3 = new Coefficient(0);
         Coefficient c4 = new Coefficient(0);
         Linear_Expression le = new Linear_Expression_Variable(new 
Variable(0));
         C_Polyhedron v = new C_Polyhedron(3, Degenerate_Element.UNIVERSE);
         v.frequency(le, c1, c2, c3, c4);
     }
}

--gianluca