Package | Description |
---|---|
org.processmining.plugins.DeclareDataAwareComplianceChecker.automata |
Modifier and Type | Method and Description |
---|---|
TransitionMatrix |
DeterministicAutomaton.DeterministicOperations.getTransitionMatrix() |
TransitionMatrix |
DFAOperations.getTransitionMatrix(DeterministicAutomaton aa)
Return transition matrix (state# -> transition# -> state#).
|