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

Packages that use ConjunctionFactory

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

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

Methods in org.processmining.ltl2automaton.plugins.formula.conjunction that return ConjunctionFactory

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

Methods in org.processmining.ltl2automaton.plugins.formula.conjunction with parameters of type ConjunctionFactory

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 ConjunctionFactory

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)