Uses of Class
org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory

Packages that use DefaultFormulaFactory

Package	Description
org.processmining.ltl2automaton.plugins.formula

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

Fields in org.processmining.ltl2automaton.plugins.formula declared as DefaultFormulaFactory

Modifier and Type	Field and Description
static DefaultFormulaFactory	DefaultFormulaFactory.instance