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

Packages that use SizeSortedTreeConjunction

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

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

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

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