org.processmining.ltl2automaton.plugins.formula.conjunction

Class UnsortedTreeConjunction

java.lang.Object

org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction

All Implemented Interfaces:

java.lang.Iterable<Formula>, Conjunction

Direct Known Subclasses:

GroupedTreeConjunction, PartitionedConjunction, SizeSortedTreeConjunction

public class UnsortedTreeConjunction
extends java.lang.Object
implements Conjunction

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<Formula,ConjunctionTreeLeaf>	formulaMap
protected java.util.LinkedList<ConjunctionTreeNode>	leaves
protected char	nextName

Constructor Summary

Constructors

Constructor and Description
UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory)
UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, java.util.Collection<Formula> formulas)
UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, Formula f)

Method Summary

Modifier and Type	Method and Description
void	add(Formula term)
void	balance()
int	conjunctions()
Automaton	getAutomaton()
static ConjunctionFactory<? extends UnsortedTreeConjunction>	getFactory(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory)
int	getMaxEvents()
int	getMaxEventsSansRoot()
int	getMaxStates()
int	getMaxStatesSansRoot()
int	getNumberCachedAutomata()
int	getTotalEvents()
int	getTotalStates()
TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>	getTreeFactory()
int	height()
java.util.Iterator<Formula>	iterator()
protected ConjunctionTreeNode	other(ConjunctionTreeNode node)
void	remove(Formula term)
protected void	removeNode(ConjunctionTreeNode node)
protected void	replace(ConjunctionTreeNode parent, ConjunctionTreeNode original, ConjunctionTreeNode newNode)
protected void	reset()
void	setAll(java.util.Collection<Formula> formulas)
void	setAll(Formula f)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

leaves

protected java.util.LinkedList<ConjunctionTreeNode> leaves

formulaMap

protected java.util.Map<Formula,ConjunctionTreeLeaf> formulaMap

nextName

protected char nextName

Constructor Detail

UnsortedTreeConjunction

public UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory)

UnsortedTreeConjunction

public UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory,
                               java.util.Collection<Formula> formulas)

UnsortedTreeConjunction

public UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory,
                               Formula f)

Method Detail

getFactory

public static ConjunctionFactory<? extends UnsortedTreeConjunction> getFactory(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory)

add

public void add(Formula term)
         throws javax.naming.OperationNotSupportedException

Specified by:

add in interface Conjunction

Throws:

javax.naming.OperationNotSupportedException

balance

public void balance()

Specified by:

balance in interface Conjunction

conjunctions

public int conjunctions()

getAutomaton

public Automaton getAutomaton()

Specified by:

getAutomaton in interface Conjunction

getMaxEvents

public int getMaxEvents()

Returns:

getMaxEventsSansRoot

public int getMaxEventsSansRoot()

getMaxStates

public int getMaxStates()

Returns:

getMaxStatesSansRoot

public int getMaxStatesSansRoot()

getNumberCachedAutomata

public int getNumberCachedAutomata()

Returns:

getTotalEvents

public int getTotalEvents()

Returns:

getTotalStates

public int getTotalStates()

Returns:

getTreeFactory

public TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> getTreeFactory()

Returns:

the treefactory

height

public int height()

iterator

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

Specified by:

iterator in interface java.lang.Iterable<Formula>

remove

public void remove(Formula term)
            throws javax.naming.OperationNotSupportedException

Specified by:

remove in interface Conjunction

Throws:

javax.naming.OperationNotSupportedException

setAll

public void setAll(java.util.Collection<Formula> formulas)

Specified by:

setAll in interface Conjunction

setAll

public void setAll(Formula f)

Specified by:

setAll in interface Conjunction

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

other

protected ConjunctionTreeNode other(ConjunctionTreeNode node)

removeNode

protected void removeNode(ConjunctionTreeNode node)

replace

protected void replace(ConjunctionTreeNode parent,
                       ConjunctionTreeNode original,
                       ConjunctionTreeNode newNode)

reset

protected void reset()