public class Pruner
extends java.lang.Object
| Constructor and Description |
|---|
Pruner(int[] solution_tree) |
| Modifier and Type | Method and Description |
|---|---|
int[] |
pruneNodes(java.util.Set<java.lang.Integer> nodes_to_be_pruned)
Returns a new tree, which is a pruned version of the original one.
|