1
Download The Parma Polyhedra Library Java Language Interface
Transcript
82 CONTENTS 10.53.2.3 native boolean parma polyhedra library.Polyhedron.bounds from below ( Linear_Expression expr ) Returns true if and only if expr is bounded from below in this. Exceptions Invalid_Argument_- Thrown if expr and this are dimension-incompatible. Exception 10.53.2.4 native boolean parma polyhedra library.Polyhedron.maximize ( Linear_Expression expr, Coefficient sup n, Coefficient sup d, By Reference< Boolean > maximum ) Returns true if and only if this is not empty and expr is bounded from above in this, in which case the supremum value is computed. Parameters expr sup_n sup_d maximum The linear expression to be maximized subject to this; The numerator of the supremum value; The denominator of the supremum value; true if and only if the supremum is also the maximum value. Exceptions Invalid_Argument_- Thrown if expr and this are dimension-incompatible. Exception If this is empty or expr is not bounded from above, false is returned and sup_n, sup_d and maximum are left untouched. 10.53.2.5 native boolean parma polyhedra library.Polyhedron.minimize ( Linear_Expression expr, Coefficient inf n, Coefficient inf d, By Reference< Boolean > minimum ) Returns true if and only if this is not empty and expr is bounded from below in this, in which case the infimum value is computed. Parameters expr inf_n inf_d minimum The linear expression to be minimized subject to this; The numerator of the infimum value; The denominator of the infimum value; true if and only if the infimum is also the minimum value. Exceptions Invalid_Argument_- Thrown if expr and this are dimension-incompatible. Exception If this is empty or expr is not bounded from below, false is returned and inf_n, inf_d and minimum are left untouched. The PPL Java Language Interface User’s Manual (version 1.0). See http://bugseng.com for more information.
