[PPL-devel] PPL ranking functions

Hi there,

I have a question about ranking functions, which hopefully you can clarify me. I am using PPL-ciao prolog interface.

The predicate ppl_one_affine_ranking_function_MS_C_Polyhedron(H,RF) gives a single ranking function if there exists one.

But I would like to have the possibility of getting more than one ranking functions.

The predicate ppl_all_affine_ranking_functions_MS_C_Polyhedron(H,RFs) gives a polyhedron which represent a space of all affine ranking functions but how can one generate or enumerate them systematically?

Any help on this would be highly appreciated.

Many thanks Bishoksan