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