
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. | |
Static Package Functions | |
| [static initializer] | |
Static Private Member Functions | |
| static native void | initIDs () |
Private Attributes | |
| Linear_Expression | le |
The value of the linear expression of this. | |
| Coefficient | den |
The value of the denominatir of this. | |
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:
dim is the space dimension of the PIP_Problem;dim computed for the parent node to the number of artificial parameters defined in the parent node. Definition at line 49 of file Artificial_Parameter.java.
| 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 61 of file Artificial_Parameter.java.
References parma_polyhedra_library::Linear_Expression::clone(), den, and le.
| parma_polyhedra_library::Artificial_Parameter::[static initializer] | ( | ) | [inline, static, package] |
| 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 76 of file Artificial_Parameter.java.
References den.
| static native void parma_polyhedra_library::Artificial_Parameter::initIDs | ( | ) | [static, private] |
| Linear_Expression parma_polyhedra_library::Artificial_Parameter::linear_expression | ( | ) | [inline] |
Returns the linear expression in artificial parameter this.
Definition at line 69 of file Artificial_Parameter.java.
References le.
| native String parma_polyhedra_library::Artificial_Parameter::toString | ( | ) |
Returns a string representation of this.
The value of the denominatir of this.
Definition at line 55 of file Artificial_Parameter.java.
Referenced by Artificial_Parameter(), and denominator().
The value of the linear expression of this.
Definition at line 52 of file Artificial_Parameter.java.
Referenced by Artificial_Parameter(), and linear_expression().
1.6.3