public abstract class RunAutomaton
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) boolean[] |
accept |
(package private) Automaton |
automaton |
(package private) int[] |
classmap |
(package private) int |
initial |
(package private) int |
maxInterval |
(package private) int[] |
points |
(package private) int |
size |
(package private) int[] |
transitions |
Constructor and Description |
---|
RunAutomaton(Automaton a,
int maxInterval,
boolean tableize)
Constructs a new
RunAutomaton from a deterministic
Automaton . |
RunAutomaton(Automaton a,
int maxInterval,
boolean tableize,
int maxDeterminizedStates)
Constructs a new
RunAutomaton from a deterministic
Automaton . |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
(package private) int |
getCharClass(int c)
Gets character class of given codepoint
|
int[] |
getCharIntervals()
Returns array of codepoint class interval start points.
|
int |
getInitialState()
Returns initial state.
|
int |
getSize()
Returns number of states in automaton.
|
int |
hashCode() |
boolean |
isAccept(int state)
Returns acceptance status for given state.
|
int |
step(int state,
int c)
Returns the state obtained by reading the given char from the given state.
|
java.lang.String |
toString()
Returns a string representation of this automaton.
|
final Automaton automaton
final int maxInterval
final int size
final boolean[] accept
final int initial
final int[] transitions
final int[] points
final int[] classmap
public RunAutomaton(Automaton a, int maxInterval, boolean tableize)
RunAutomaton
from a deterministic
Automaton
.a
- an automatonpublic RunAutomaton(Automaton a, int maxInterval, boolean tableize, int maxDeterminizedStates)
RunAutomaton
from a deterministic
Automaton
.a
- an automatonmaxDeterminizedStates
- maximum number of states that can be created
while determinizing apublic java.lang.String toString()
toString
in class java.lang.Object
public final int getSize()
public final boolean isAccept(int state)
public final int getInitialState()
public final int[] getCharIntervals()
final int getCharClass(int c)
public final int step(int state, int c)
Automaton
had no dead states, -1 is returned here if and only
if a dead state is entered in an equivalent automaton with a total
transition function.)public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object