A leaf node of the PIP solution tree. More...

Inheritance diagram for parma_polyhedra_library.PIP_Solution_Node:

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

Detailed Description

A leaf node of the PIP solution tree.

Member Function Documentation

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.

Parameters

var	The variable being queried.

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