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)