org.processmining.plugins.DeclareDataAwareComplianceChecker.automata
Interfaces
AutomatonFactory
Classes
ArrayIterable
Automaton
AutomatonUtils
DefaultAutomatonFactory
DeterministicAutomaton
DFAOperations
DOTExporter
ExecutableAutomaton
NDFAOperations
PossibleNodes
State
Transition
TransitionLabel
TransitionMatrix