|
PPL Java Language Interface
1.2
|
A leaf node of the PIP solution tree. More...

Public Member Functions | |
| native Linear_Expression | parametric_values (Variable var) |
Returns the parametric expression of the values of variable var in solution node this. More... | |
Public Member Functions inherited from parma_polyhedra_library.PIP_Tree_Node | |
| native PIP_Solution_Node | as_solution () |
Returns the solution node if this is a solution node, and 0 otherwise. | |
| native PIP_Decision_Node | as_decision () |
Returns the decision node if this is a decision node, and 0 otherwise. | |
| native boolean | OK () |
| Returns true if the pip tree is well formed, i.e., if it satisfies all its implementation invariants; returns 0 and perhaps makes some noise if broken. Useful for debugging purposes. | |
| native long | number_of_artificials () |
| Returns the number of artificial parameters in the PIP_Tree_Node. | |
| native Artificial_Parameter_Sequence | artificials () |
| Returns the sequence of (Java) artificial parameters in the PIP_Tree_Node. | |
| native Constraint_System | constraints () |
| Returns the system of parameter constraints controlling the PIP_Tree_Node. More... | |
| native String | toString () |
Returns a string representation of this. | |
A leaf node of the PIP solution tree.
| native Linear_Expression parma_polyhedra_library.PIP_Solution_Node.parametric_values | ( | Variable | var | ) |
Returns the parametric expression of the values of variable var in solution node this.
The returned parametric expression will only refer to (problem or artificial) parameters.
| var | The variable being queried. |