|
|||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdk.brics.automaton.StringUnionOperations
public final class StringUnionOperations
Operations for building minimal deterministic automata from sets of strings. The algorithm requires sorted input data, but is very fast (nearly linear with the input size).
Field Summary | |
---|---|
static java.util.Comparator<java.lang.CharSequence> |
LEXICOGRAPHIC_ORDER
Lexicographic order of input sequences. |
Constructor Summary | |
---|---|
StringUnionOperations()
|
Method Summary | |
---|---|
void |
add(java.lang.CharSequence current)
Add another character sequence to this automaton. |
static State |
build(java.lang.CharSequence[] input)
Build a minimal, deterministic automaton from a sorted list of strings. |
dk.brics.automaton.StringUnionOperations.State |
complete()
Finalize the automaton and return the root state. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final java.util.Comparator<java.lang.CharSequence> LEXICOGRAPHIC_ORDER
Constructor Detail |
---|
public StringUnionOperations()
Method Detail |
---|
public void add(java.lang.CharSequence current)
public static State build(java.lang.CharSequence[] input)
public dk.brics.automaton.StringUnionOperations.State complete()
|
|||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |