Packages

Package	Description
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