public class TransitionMatrix
extends java.lang.Object
Constructor and Description |
---|
TransitionMatrix(java.util.Map<java.lang.String,java.lang.Integer> transitionNumbers,
java.util.Map<State,java.lang.Integer> stateNumbers,
java.util.Set<java.lang.Integer> accepting,
int[][] matrix) |
Modifier and Type | Method and Description |
---|---|
int |
getInitialState() |
int |
getNumberOfStates() |
int |
getNumberOfTransitions() |
int |
getStateNumber(State s) |
java.lang.String |
getTransitionName(int number) |
int |
getTransitionNumber(java.lang.String transition) |
boolean |
isAccepting(int state) |
int |
nextState(int state,
int transition) |
int |
nextState(int state,
java.lang.String transition) |
java.lang.String |
toString() |
public TransitionMatrix(java.util.Map<java.lang.String,java.lang.Integer> transitionNumbers, java.util.Map<State,java.lang.Integer> stateNumbers, java.util.Set<java.lang.Integer> accepting, int[][] matrix)
public int getInitialState()
public int getNumberOfStates()
public int getNumberOfTransitions()
public int getStateNumber(State s)
public java.lang.String getTransitionName(int number)
public int getTransitionNumber(java.lang.String transition)
public boolean isAccepting(int state)
public int nextState(int state, int transition)
public int nextState(int state, java.lang.String transition)
public java.lang.String toString()
toString
in class java.lang.Object