public class GlushkovAutomaton extends Object implements BitParallelAutomaton
| Constructor and Description |
|---|
GlushkovAutomaton(BitSet initial,
BitSet finals,
CharObjectMap<BitSet> reachableByChar,
BitSetObjectMap<BitSet> reachableByState) |
| Modifier and Type | Method and Description |
|---|---|
BitSet |
getInitial() |
boolean |
isFinal(BitSet state) |
boolean |
isInitial(BitSet state) |
int |
minLength() |
BitSet |
next(BitSet state,
char c) |
char[] |
supportedChars() |
public GlushkovAutomaton(BitSet initial, BitSet finals, CharObjectMap<BitSet> reachableByChar, BitSetObjectMap<BitSet> reachableByState)
public char[] supportedChars()
supportedChars in interface BitParallelAutomatonpublic BitSet getInitial()
getInitial in interface BitParallelAutomatonpublic boolean isInitial(BitSet state)
isInitial in interface BitParallelAutomatonpublic BitSet next(BitSet state, char c)
next in interface BitParallelAutomatonpublic boolean isFinal(BitSet state)
isFinal in interface BitParallelAutomatonpublic int minLength()
minLength in interface BitParallelAutomatonCopyright © 2016. All rights reserved.