public interface DFA
Modifier and Type | Method and Description |
---|---|
int |
addEdge(int source,
short activity)
Adds an edge to the graph.
|
void |
addEdge(int source,
short activity,
int target)
Add an edge to the graph.
|
java.util.BitSet |
getAcceptingStates() |
gnu.trove.list.TShortList |
getActivities() |
int |
getInitialState() |
int |
getNumberOfStates() |
DFAImplEdgeList.EdgeIterableOutgoing |
getOutgoingEdgesIterator(int state)
Get an iterator over the outgoing edges of a state.
|
gnu.trove.list.TIntList |
getSources() |
gnu.trove.list.TIntList |
getTargets() |
boolean |
isAccepting(int state) |
void |
removeOutgoingEdgesOf(int state)
Remove all the outgoing edges of a state.
|
void |
removeStateAndRedirectEdgesTo(int remove,
int redirectEdgesTo)
Replace all incoming edges of oldTarget and redirect them to newTarget,
and delete all outgoing edges of oldTarget.
|
void |
removeStatesExcept(java.util.BitSet keepStates) |
void |
setAccepting(int state,
boolean accepting) |
int |
step(int state,
short activity) |
java.lang.String |
toDot()
Returns a dot representation of the automaton.
|
java.lang.String |
toString() |
int getInitialState()
void setAccepting(int state, boolean accepting)
boolean isAccepting(int state)
java.util.BitSet getAcceptingStates()
void addEdge(int source, short activity, int target)
source
- activity
- target
- int addEdge(int source, short activity)
source
- activity
- void removeStateAndRedirectEdgesTo(int remove, int redirectEdgesTo)
remove
- redirectEdgesTo
- void removeOutgoingEdgesOf(int state)
state
- void removeStatesExcept(java.util.BitSet keepStates)
java.lang.String toString()
toString
in class java.lang.Object
java.lang.String toDot()
DFAImplEdgeList.EdgeIterableOutgoing getOutgoingEdgesIterator(int state)
state
- int getNumberOfStates()
gnu.trove.list.TIntList getTargets()
gnu.trove.list.TIntList getSources()
gnu.trove.list.TShortList getActivities()
int step(int state, short activity)
automaton2State
- activity
-