Uses of Class
org.processmining.ltl2automaton.plugins.automaton.TransitionMatrix

Packages that use TransitionMatrix

Package	Description
org.processmining.ltl2automaton.plugins.automaton

Uses of TransitionMatrix in org.processmining.ltl2automaton.plugins.automaton

Methods in org.processmining.ltl2automaton.plugins.automaton that return TransitionMatrix

Modifier and Type	Method and Description
TransitionMatrix	DeterministicAutomaton.DeterministicOperations.getTransitionMatrix()
TransitionMatrix	DFAOperations.getTransitionMatrix(DeterministicAutomaton aa) Return transition matrix (state# -> transition# -> state#).