Hi Bishoksan, One thing that I do to obtain multiple ranking functions is to call:

ppl_all_affine_ranking_functions_MS_C_Polyhedron(H,RFs)

And then obtain the points of the resulting polyhedron

ppl_Polyhedron_get_generators(RFs, Gen)

So if you have a loop defined as [A>=0,B>=0,A'=A-1,B'=B-1] the points of the resulting polyhedron will be 1*A and 1*B which are both independent ranking functions. I hope that helps. Best,

Antonio Flores Montoya

On 05/19/2015 12:00 PM, ppl-devel-request@cs.unipr.it wrote:

Re: [PPL-devel] PPL ranking functions