public interface EfficientTreeReductionRule
Modifier and Type | Method and Description |
---|---|
boolean |
apply(EfficientTree tree,
int node)
Apply the reduction rule on tree, on the node at position i.
|
boolean apply(EfficientTree tree, int node) throws UnknownTreeNodeException
tree
- node
- UnknownTreeNodeException