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

Inheritance diagram for parma_polyhedra_library.PIP_Decision_Node:

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

native PIP_Decision_Node	as_decision ()
	Returns the decision node if `this` is a decision node, and 0 otherwise. More...

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

native long	number_of_artificials ()
	Returns the number of artificial parameters in the PIP_Tree_Node. More...

native Artificial_Parameter_Sequence	artificials ()
	Returns the sequence of (Java) artificial parameters in the PIP_Tree_Node. More...

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

Additional Inherited Members
Protected Member Functions inherited from parma_polyhedra_library.PPL_Object
	PPL_Object ()
	Builds an object that points to `null'. More...

Detailed Description

An internal node of the PIP solution tree.

Definition at line 28 of file PIP_Decision_Node.java.

Member Function Documentation

native PIP_Tree_Node parma_polyhedra_library.PIP_Decision_Node.child_node ( boolean branch )

Returns the true branch (if branch is true) or the false branch (if branch is false) of this.

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