public class EfficientTreeReduce
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static class |
EfficientTreeReduce.ReductionFailedException |
| Constructor and Description |
|---|
EfficientTreeReduce() |
| Modifier and Type | Method and Description |
|---|---|
static Pair<java.util.BitSet,int[]> |
isSuperfluousTau(EfficientTree tree,
java.util.BitSet canProduceTau) |
static void |
reduce(EfficientTree tree) |
static void |
reduce(EfficientTree tree,
EfficientTreeReduceParameters reduceParameters) |
public static void reduce(EfficientTree tree) throws EfficientTreeReduce.ReductionFailedException, UnknownTreeNodeException
public static void reduce(EfficientTree tree, EfficientTreeReduceParameters reduceParameters) throws EfficientTreeReduce.ReductionFailedException, UnknownTreeNodeException
public static Pair<java.util.BitSet,int[]> isSuperfluousTau(EfficientTree tree, java.util.BitSet canProduceTau)