public class PrefixTree
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private static char[] |
delimiters |
private static int |
delSacrifice |
(package private) boolean |
disablePrefixing |
(package private) boolean |
finalized |
(package private) int |
minimumHeuristicLength |
(package private) int |
minimumPrefixLength |
private PrefixTreeNode |
root |
Constructor and Description |
---|
PrefixTree() |
PrefixTree(int minimumPrefixLength) |
Modifier and Type | Method and Description |
---|---|
PrefixTreeNode |
addString(java.lang.String newString) |
void |
clear() |
java.util.List<java.lang.String> |
getStrings() |
void |
seal() |
static int |
sharedPrefixLength(char[] a,
int aStart,
char[] b) |
java.lang.String |
toString() |
boolean disablePrefixing
private PrefixTreeNode root
int minimumPrefixLength
int minimumHeuristicLength
private static final char[] delimiters
private static final int delSacrifice
boolean finalized
public PrefixTree()
public PrefixTree(int minimumPrefixLength)
public static int sharedPrefixLength(char[] a, int aStart, char[] b)
public PrefixTreeNode addString(java.lang.String newString)
public java.util.List<java.lang.String> getStrings()
public java.lang.String toString()
toString
in class java.lang.Object
public void seal()
public void clear()