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

Packages that use ConjunctionTreeNode

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

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

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

Modifier and Type	Class and Description
class	ConjunctionTreeLeaf
class	ThreadedConjunctionTreeNode

Fields in org.processmining.ltl2automaton.plugins.formula.conjunction declared as ConjunctionTreeNode

Modifier and Type	Field and Description
protected ConjunctionTreeNode	ConjunctionTreeNode.left
protected ConjunctionTreeNode	ConjunctionTreeNode.parent
protected ConjunctionTreeNode	ConjunctionTreeNode.right

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

Modifier and Type	Field and Description
protected java.util.LinkedList<ConjunctionTreeNode>	UnsortedTreeConjunction.leaves

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

Modifier and Type	Method and Description
ConjunctionTreeNode	DefaultTreeFactory.createNode(ConjunctionTreeNode left, ConjunctionTreeNode right)
ConjunctionTreeNode	ThreadedTreeFactory.createNode(ConjunctionTreeNode left, ConjunctionTreeNode right)
ConjunctionTreeNode	ConjunctionTreeNode.getLeft()
ConjunctionTreeNode	ConjunctionTreeNode.getParent()
ConjunctionTreeNode	ConjunctionTreeNode.getRight()
protected ConjunctionTreeNode	UnsortedTreeConjunction.other(ConjunctionTreeNode node)

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

Modifier and Type	Method and Description
static java.util.Map<ConjunctionTreeNode,Automaton>	CacheTools.getCached(ConjunctionTreeNode node)
static TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>	DefaultTreeFactory.getInstance()
static TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>	ThreadedTreeFactory.getInstance()
TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>	UnsortedTreeConjunction.getTreeFactory()

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

Modifier and Type	Method and Description
ConjunctionTreeNode	DefaultTreeFactory.createNode(ConjunctionTreeNode left, ConjunctionTreeNode right)
ConjunctionTreeNode	ThreadedTreeFactory.createNode(ConjunctionTreeNode left, ConjunctionTreeNode right)
N	TreeFactory.createNode(ConjunctionTreeNode left, ConjunctionTreeNode right)
static java.util.Map<ConjunctionTreeNode,Automaton>	CacheTools.getCached(ConjunctionTreeNode node)
protected ConjunctionTreeNode	UnsortedTreeConjunction.other(ConjunctionTreeNode node)
protected void	UnsortedTreeConjunction.removeNode(ConjunctionTreeNode node)
protected void	UnsortedTreeConjunction.replace(ConjunctionTreeNode parent, ConjunctionTreeNode original, ConjunctionTreeNode newNode)
static void	CacheTools.set(java.util.Map<ConjunctionTreeNode,Automaton> oldCaches, ConjunctionTreeNode node)
static void	CacheTools.setCaches(java.util.Map<ConjunctionTreeNode,Automaton> oldCaches, ConjunctionTreeNode node)
void	ConjunctionTreeNode.setLeft(ConjunctionTreeNode left)
void	ConjunctionTreeNode.setRight(ConjunctionTreeNode right)

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

Modifier and Type	Method and Description
static boolean	FormulaTools.acceptsAllInit(java.util.Map<ConjunctionTreeNode,Automaton> cache, Formula formula)
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)
static void	CacheTools.set(java.util.Map<ConjunctionTreeNode,Automaton> oldCaches, ConjunctionTreeNode node)
static void	CacheTools.setCaches(java.util.Map<ConjunctionTreeNode,Automaton> oldCaches, ConjunctionTreeNode node)

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

Constructor and Description
ConjunctionTreeNode(ConjunctionTreeNode left, ConjunctionTreeNode right)
ThreadedConjunctionTreeNode(java.util.concurrent.ExecutorService threadPool, ConjunctionTreeNode left, ConjunctionTreeNode right)

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

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)