org.processmining.ltl2automaton.plugins.formula.conjunction

Class ConjunctionTreeNode

java.lang.Object

org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode

All Implemented Interfaces:

java.lang.Iterable<Formula>

Direct Known Subclasses:

ConjunctionTreeLeaf, ThreadedConjunctionTreeNode

public class ConjunctionTreeNode
extends java.lang.Object
implements java.lang.Iterable<Formula>

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ConjunctionTreeNode()
	ConjunctionTreeNode(ConjunctionTreeNode left, ConjunctionTreeNode right)

Method Summary

Modifier and Type	Method and Description
protected Automaton	calculateProduct(Lambda<Automaton> a1, Lambda<Automaton> a2)
int	conjunctions()
void	detach()
boolean	equals(java.lang.Object o)
Automaton	getAutomaton()
int	getHeight()
ConjunctionTreeNode	getLeft()
ConjunctionTreeNode	getParent()
ConjunctionTreeNode	getRight()
int	hashCode()
void	invalidate()
java.util.Iterator<Formula>	iterator()
protected Automaton	process(Automaton a)
void	setLeft(ConjunctionTreeNode left)
void	setRight(ConjunctionTreeNode right)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

left

protected ConjunctionTreeNode left

right

protected ConjunctionTreeNode right

parent

protected ConjunctionTreeNode parent

Constructor Detail

ConjunctionTreeNode

public ConjunctionTreeNode(ConjunctionTreeNode left,
                           ConjunctionTreeNode right)

ConjunctionTreeNode

protected ConjunctionTreeNode()

Method Detail

conjunctions

public int conjunctions()

detach

public void detach()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getAutomaton

public Automaton getAutomaton()

getHeight

public int getHeight()

getLeft

public ConjunctionTreeNode getLeft()

Returns:

the left

getParent

public ConjunctionTreeNode getParent()

Returns:

the parent

getRight

public ConjunctionTreeNode getRight()

Returns:

the right

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

invalidate

public void invalidate()

iterator

public java.util.Iterator<Formula> iterator()

Specified by:

iterator in interface java.lang.Iterable<Formula>

setLeft

public void setLeft(ConjunctionTreeNode left)

Parameters:

left - the left to set

setRight

public void setRight(ConjunctionTreeNode right)

Parameters:

right - the right to set

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

calculateProduct

protected Automaton calculateProduct(Lambda<Automaton> a1,
                                     Lambda<Automaton> a2)

process

protected Automaton process(Automaton a)