parma_polyhedra_library.Artificial_Parameter Class Reference

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

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.

---

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

• Artificial_Parameter.java