org.processmining.ltl2automaton.plugins.formula.conjunction

Class ConjunctionTreeLeaf

java.lang.Object

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

org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeLeaf

All Implemented Interfaces:

java.lang.Iterable<Formula>

public class ConjunctionTreeLeaf
extends ConjunctionTreeNode

Field Summary

Fields inherited from class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode

left, parent, right

Constructor Summary

Constructors

Constructor and Description
ConjunctionTreeLeaf(Formula f, char name)

Method Summary

Modifier and Type	Method and Description
int	conjunctions()
boolean	equals(java.lang.Object o)
Automaton	getAutomaton()
Formula	getFormula()
int	getHeight()
int	hashCode()
java.util.Iterator<Formula>	iterator()
void	setFormula(Formula f)
java.lang.String	toString()

Methods inherited from class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode

calculateProduct, detach, getLeft, getParent, getRight, invalidate, process, setLeft, setRight

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

ConjunctionTreeLeaf

public ConjunctionTreeLeaf(Formula f,
                           char name)

Method Detail

conjunctions

public int conjunctions()

Overrides:

conjunctions in class ConjunctionTreeNode

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class ConjunctionTreeNode

getAutomaton

public Automaton getAutomaton()

Overrides:

getAutomaton in class ConjunctionTreeNode

getFormula

public Formula getFormula()

Returns:

the f

getHeight

public int getHeight()

Overrides:

getHeight in class ConjunctionTreeNode

hashCode

public int hashCode()

Overrides:

hashCode in class ConjunctionTreeNode

iterator

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

Specified by:

iterator in interface java.lang.Iterable<Formula>

Overrides:

iterator in class ConjunctionTreeNode

setFormula

public void setFormula(Formula f)

Parameters:

f - the f to set

toString

public java.lang.String toString()

Overrides:

toString in class ConjunctionTreeNode