EfficientTreeReductionRule (InductiveMinerDeprecated)

All Known Implementing Classes:

And2Or, IntShortLanguage, LoopATauTau2flower, LoopLoop, LoopTau, LoopTauATau2flower, OrXorTau, SameOperator, SingleChild, TauChildOfOr, TauChildOfSeqAndInt, XorDoubleSingleChild, XorTauTau, XorTauTauLoop2flowerRevert
```
public interface EfficientTreeReductionRule
```

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`boolean`	`apply(EfficientTree tree, int node)`	Apply the reduction rule on tree, on the node at position i.

- Method Detail
  - apply
```
boolean apply(EfficientTree tree,
              int node)
       throws UnknownTreeNodeException
```
    Apply the reduction rule on tree, on the node at position i.
    
    Parameters:
    
    tree -
    
    node -
    
    Returns:
    
    whether the tree was changed or not
    
    Throws:
    
    UnknownTreeNodeException