public class PartitionSet
extends java.lang.Object
Constructor and Description |
---|
PartitionSet(java.util.TreeSet<SymbolSet> symbolset) |
PartitionSet(java.util.TreeSet<SymbolSet> symbolset,
int allowedSubSetSize,
int allowedNumberOfExceptions) |
Modifier and Type | Method and Description |
---|---|
protected de.jstacs.data.alphabets.DiscreteAlphabet |
getAlphabet() |
protected java.util.TreeSet<Partition> |
getPartition() |
protected java.util.TreeSet<SymbolSet> |
getSymbolSet() |