|
PPL Java Language Interface
1.0
|
An internal node of the PIP solution tree. More...

Public Member Functions | |
| native PIP_Tree_Node | child_node (boolean branch) |
Returns the true branch (if branch is true) or the false branch (if branch is false) of this. | |
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. | |
| native String | toString () |
Returns a string representation of this. | |
An internal node of the PIP solution tree.