Uses of Class
org.processmining.ltl2automaton.plugins.formula.conjunction.QuickAddConjunction

Packages that use QuickAddConjunction

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

Uses of QuickAddConjunction in org.processmining.ltl2automaton.plugins.formula.conjunction

Methods in org.processmining.ltl2automaton.plugins.formula.conjunction that return types with arguments of type QuickAddConjunction

Modifier and Type	Method and Description
static ConjunctionFactory<? extends QuickAddConjunction>	QuickAddConjunction.getFactory(ConjunctionFactory<? extends UnsortedTreeConjunction> base)