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

Packages that use ConjunctionTreeLeaf

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

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

Fields in org.processmining.ltl2automaton.plugins.formula.conjunction with type parameters of type ConjunctionTreeLeaf

Modifier and Type	Field and Description
protected java.util.Map<Formula,ConjunctionTreeLeaf>	UnsortedTreeConjunction.formulaMap

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

Modifier and Type	Method and Description
ConjunctionTreeLeaf	DefaultTreeFactory.createLeaf(Formula f, char name)

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

Modifier and Type	Method and Description
static TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>	DefaultTreeFactory.getInstance()
static TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>	ThreadedTreeFactory.getInstance()
TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>	UnsortedTreeConjunction.getTreeFactory()

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

Modifier and Type	Method and Description
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)

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

Constructor and Description
GroupedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory)
GroupedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, java.util.Collection<Formula> formulas)
GroupedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, Formula f)
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)
SizeSortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory)
SizeSortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, java.util.Collection<Formula> formulas)
SizeSortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, Formula f)
UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory)
UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, java.util.Collection<Formula> formulas)
UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, Formula f)