<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" id="owaParaStyle"></style><style type="text/css"></style>
</head>
<body fpstyle="1" ocsi="0">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;"><span style="font-size: 13.3333330154419px;">Hi there,</span>
<div style="font-size: 13.3333330154419px;"><br>
</div>
<div style="font-size: 13.3333330154419px;"><span style="font-size: 13.3333330154419px;">I have a question about ranking functions, which hopefully you can clarify me. </span><span style="font-size: 13.3333330154419px;">I am using PPL-ciao prolog interface. </span></div>
<div style="font-size: 13.3333330154419px;"><span style="font-size: 13.3333330154419px;"><br>
</span></div>
<div style="font-size: 13.3333330154419px;"><span style="font-size: 13.3333330154419px;">The predicate <b>ppl_one_affine_ranking_function_MS_C_Polyhedron(H,RF)</b> gives a single ranking function if there exists one. </span></div>
<div style="font-size: 13.3333330154419px;"><span style="font-size: 13.3333330154419px;"><br>
</span></div>
<div style="font-size: 13.3333330154419px;"><span style="font-size: 13.3333330154419px;">But I would like to have the possibility of getting more than one ranking functions.</span></div>
<div style="font-size: 13.3333330154419px;"><span style="font-size: 13.3333330154419px;"><br>
</span></div>
<div style="font-size: 13.3333330154419px;"><span style="font-size: 13.3333330154419px;">The predicate </span><span style="font-size: 13.3333330154419px;"><b>ppl_all_affine_ranking_functions_MS_C_Polyhedron(H,RFs)</b> gives a polyhedron which represent a space
of all affine ranking functions but how can one generate or enumerate them systematically?</span></div>
<div style="font-size: 13.3333330154419px;"><span style="font-size: 13.3333330154419px;"><br>
</span></div>
<div style="font-size: 13.3333330154419px;"><span style="font-size: 13.3333330154419px;">Any help on this would be highly appreciated. </span></div>
<div style="font-size: 13.3333330154419px;"><span style="font-size: 13.3333330154419px;"><br>
</span></div>
<div style="font-size: 13.3333330154419px;"><span style="font-size: 13.3333330154419px;">Many thanks</span></div>
<div style="font-size: 13.3333330154419px;"><span style="font-size: 13.3333330154419px;">Bishoksan</span></div>
<div><span style="font-size: 13.3333330154419px;"><br>
</span></div>
</div>
</body>
</html>