|
PPL Configured Java Language Interface
0.12.1
|
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.