Package | Description |
---|---|
org.processmining.plugins.DeclareDataAwareComplianceChecker.automata |
Modifier and Type | Class and Description |
---|---|
class |
DeterministicAutomaton.DeterministicOperations |
Modifier and Type | Field and Description |
---|---|
Automaton.Operations |
Automaton.op |