Packages

• org.processmining.ltl2automaton.plugins
• org.processmining.ltl2automaton.plugins.automaton
• org.processmining.ltl2automaton.plugins.cup_parser
• org.processmining.ltl2automaton.plugins.formula
• org.processmining.ltl2automaton.plugins.formula.conjunction
• org.processmining.ltl2automaton.plugins.ltl