org.processmining.ltl2automaton.plugins.automaton

Classes

• ArrayIterable
• Automaton
• DefaultAutomatonFactory
• DeterministicAutomaton
• DFAOperations
• DOTExporter
• NDFAOperations
• State
• Transition
• TransitionLabel
• TransitionMatrix