A leaf node of the PIP solution tree. More...
Inherits parma_polyhedra_library::PIP_Tree_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 . |
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. |