org.processmining.ltl2automaton.plugins.automaton

Class TransitionMatrix

java.lang.Object

org.processmining.ltl2automaton.plugins.automaton.TransitionMatrix

public class TransitionMatrix
extends java.lang.Object

Constructor Summary

Constructors

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)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TransitionMatrix

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)

Method Detail

getInitialState

public int getInitialState()

getNumberOfStates

public int getNumberOfStates()

getNumberOfTransitions

public int getNumberOfTransitions()

getStateNumber

public int getStateNumber(State s)

getTransitionName

public java.lang.String getTransitionName(int number)

getTransitionNumber

public int getTransitionNumber(java.lang.String transition)

isAccepting

public boolean isAccepting(int state)

nextState

public int nextState(int state,
                     int transition)

nextState

public int nextState(int state,
                     java.lang.String transition)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object