public final class StringUnionOperations
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.util.Comparator<java.lang.CharSequence> |
LEXICOGRAPHIC_ORDER
Lexicographic order of input sequences.
|
Constructor and Description |
---|
StringUnionOperations() |
Modifier and Type | Method and Description |
---|---|
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.
|
public static final java.util.Comparator<java.lang.CharSequence> LEXICOGRAPHIC_ORDER
public void add(java.lang.CharSequence current)
public static State build(java.lang.CharSequence[] input)
public dk.brics.automaton.StringUnionOperations.State complete()
Copyright © 2001-2011 Anders Møller.