Uses of Interface
org.processmining.ltl2automaton.plugins.ltl.FormulaFactory

Packages that use FormulaFactory

Package	Description
org.processmining.ltl2automaton.plugins.formula
org.processmining.ltl2automaton.plugins.ltl

Uses of FormulaFactory in org.processmining.ltl2automaton.plugins.formula

Classes in org.processmining.ltl2automaton.plugins.formula that implement FormulaFactory

Modifier and Type	Class and Description
class	DefaultFormulaFactory

Uses of FormulaFactory in org.processmining.ltl2automaton.plugins.ltl

Constructors in org.processmining.ltl2automaton.plugins.ltl with parameters of type FormulaFactory

Constructor and Description
Parser(java.lang.String ltl, FormulaFactory<F> fact)