Package | Description |
---|---|
org.processmining.plugins.DeclareDataAwareComplianceChecker.automata |
Modifier and Type | Method and Description |
---|---|
PossibleNodes |
ExecutableAutomaton.currentState() |
PossibleNodes |
ExecutableAutomaton.next(java.lang.String label) |