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. | |
An internal node of the PIP solution tree.
Definition at line 31 of file PIP_Decision_Node.java.
| 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.
1.6.3