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

Packages that use UnsortedTreeConjunction

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

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

Subclasses of UnsortedTreeConjunction in org.processmining.ltl2automaton.plugins.formula.conjunction

Modifier and Type	Class and Description
class	GroupedTreeConjunction
class	PartitionedConjunction
class	SizeSortedTreeConjunction Note: All the hard work happens when inserting into the sorted set (the comparator extracts the automaton).

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

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

Method parameters in org.processmining.ltl2automaton.plugins.formula.conjunction with type arguments of type UnsortedTreeConjunction

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

Constructors in org.processmining.ltl2automaton.plugins.formula.conjunction with parameters of type UnsortedTreeConjunction

Constructor and Description
QuickAddConjunction(UnsortedTreeConjunction base)
QuickAddConjunction(UnsortedTreeConjunction base, java.util.Collection<Formula> formulas)
QuickAddConjunction(UnsortedTreeConjunction base, Formula f)

Constructor parameters in org.processmining.ltl2automaton.plugins.formula.conjunction with type arguments of type UnsortedTreeConjunction

Constructor and Description
PartitionedConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, ConjunctionFactory<? extends UnsortedTreeConjunction> factory)
PartitionedConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, ConjunctionFactory<? extends UnsortedTreeConjunction> factory, java.util.Collection<Formula> terms)
PartitionedConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, ConjunctionFactory<? extends UnsortedTreeConjunction> factory, Formula f)