Uses of Interface
org.processmining.ltl2automaton.plugins.formula.conjunction.Conjunction

Packages that use Conjunction

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

Uses of Conjunction in org.processmining.ltl2automaton.plugins

Methods in org.processmining.ltl2automaton.plugins that return Conjunction

Modifier and Type	Method and Description
Conjunction	LTL2Automaton.translate(java.util.Collection<Formula> formulas, boolean factorize)
Conjunction	LTL2Automaton.translate(Formula formula, boolean factorize)
Conjunction	LTL2Automaton.translate(java.lang.String ltl, boolean factorize)

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

Classes in org.processmining.ltl2automaton.plugins.formula.conjunction with type parameters of type Conjunction

Modifier and Type	Interface and Description
interface	ConjunctionFactory<T extends Conjunction>

Classes in org.processmining.ltl2automaton.plugins.formula.conjunction that implement Conjunction

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