An internal node of the PIP solution tree. More...

Inheritance diagram for parma_polyhedra_library.PIP_Decision_Node:

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. More...

native String	toString ()
	Returns a string representation of `this`.

Detailed Description

An internal node of the PIP solution tree.

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

Public Member Functions