[PPL-devel] PPL ranking functions

[aeflores]

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 at cs.unipr.it wrote:
> Re: [PPL-devel] PPL ranking functions