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

Packages that use GroupedTreeConjunction

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

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

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

Modifier and Type	Method and Description
static ConjunctionFactory<? extends GroupedTreeConjunction>	GroupedTreeConjunction.getFactory(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory)