parma_polyhedra_library.Artificial_Parameter Class Reference

Collaboration diagram for parma_polyhedra_library.Artificial_Parameter:

Public Member Functions
	Artificial_Parameter (Linear_Expression e, Coefficient d)
	Builds an artificial parameter from a linear expression and a denominator. More...
Linear_Expression	linear_expression ()
	Returns the linear expression in artificial parameter this. More...
Coefficient	denominator ()
	Returns the denominator in artificial parameter this. More...
native String	ascii_dump ()
	Returns an ascii formatted internal representation of this. More...
native String	toString ()
	Returns a string representation of this. More...

Static Private Member Functions
static native void	initIDs ()

Private Attributes
Linear_Expression	le
	The value of the linear expression of this. More...
Coefficient	den
	The value of the denominatir of this. More...

Detailed Description

An Artificial_Parameter object represents the result of the integer division of a Linear_Expression (on the other parameters, including the previously-defined artificials) by an integer denominator (a Coefficient object). The dimensions of the artificial parameters (if any) in a tree node have consecutive indices starting from dim+1, where the value of dim is computed as follows:

• for the tree root node, dim is the space dimension of the PIP_Problem;
• for any other node of the tree, it is recusrively obtained by adding the value of dim computed for the parent node to the number of artificial parameters defined in the parent node.

  Since the numbering of dimensions for artificial parameters follows the rule above, the addition of new problem variables and/or new problem parameters to an already solved PIP_Problem object (as done when incrementally solving a problem) will result in the systematic renumbering of all the existing artificial parameters.

Definition at line 46 of file Artificial_Parameter.java.

Constructor & Destructor Documentation

parma_polyhedra_library.Artificial_Parameter.Artificial_Parameter ( Linear_Expression  e, Coefficient  d  )

inline

Builds an artificial parameter from a linear expression and a denominator.

Definition at line 58 of file Artificial_Parameter.java.

References parma_polyhedra_library.Linear_Expression.clone().

Member Function Documentation

native String parma_polyhedra_library.Artificial_Parameter.ascii_dump

(

)

Returns an ascii formatted internal representation of this.

Coefficient parma_polyhedra_library.Artificial_Parameter.denominator ( )

inline

Returns the denominator in artificial parameter this.

Definition at line 73 of file Artificial_Parameter.java.

References parma_polyhedra_library.Artificial_Parameter.den.

static native void parma_polyhedra_library.Artificial_Parameter.initIDs ( )

staticprivate

Linear_Expression parma_polyhedra_library.Artificial_Parameter.linear_expression ( )

inline

Returns the linear expression in artificial parameter this.

Definition at line 66 of file Artificial_Parameter.java.

References parma_polyhedra_library.Artificial_Parameter.le.

native String parma_polyhedra_library.Artificial_Parameter.toString

(

)

Returns a string representation of this.

Member Data Documentation

Coefficient parma_polyhedra_library.Artificial_Parameter.den

private

The value of the denominatir of this.

Definition at line 52 of file Artificial_Parameter.java.

Referenced by parma_polyhedra_library.Artificial_Parameter.denominator().

Linear_Expression parma_polyhedra_library.Artificial_Parameter.le

private

The value of the linear expression of this.

Definition at line 49 of file Artificial_Parameter.java.

Referenced by parma_polyhedra_library.Artificial_Parameter.linear_expression().

---

The documentation for this class was generated from the following file:

• Artificial_Parameter.java