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

Packages that use PartitionedConjunction

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

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

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

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