Uses of Class
org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.TransitionMatrix

Packages that use TransitionMatrix

Package	Description
org.processmining.plugins.DeclareDataAwareComplianceChecker.automata

Uses of TransitionMatrix in org.processmining.plugins.DeclareDataAwareComplianceChecker.automata

Methods in org.processmining.plugins.DeclareDataAwareComplianceChecker.automata that return TransitionMatrix

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