org.processmining.ltl2automaton.plugins.formula.conjunction

Class SizeSortedTreeConjunction

java.lang.Object

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

org.processmining.ltl2automaton.plugins.formula.conjunction.SizeSortedTreeConjunction

All Implemented Interfaces:

java.lang.Iterable<Formula>, Conjunction

public class SizeSortedTreeConjunction
extends UnsortedTreeConjunction

Note: All the hard work happens when inserting into the sorted set (the comparator extracts the automaton).

Author:

mwesterg

Field Summary

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

formulaMap, leaves, nextName

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
static ConjunctionFactory<? extends SizeSortedTreeConjunction>	getFactory(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory)
void	remove(Formula term)
void	setAll(java.util.Collection<Formula> formulas)

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

add, balance, conjunctions, getAutomaton, getMaxEvents, getMaxEventsSansRoot, getMaxStates, getMaxStatesSansRoot, getNumberCachedAutomata, getTotalEvents, getTotalStates, getTreeFactory, height, iterator, other, removeNode, replace, reset, setAll, 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

Constructor Detail

SizeSortedTreeConjunction

public SizeSortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory)

SizeSortedTreeConjunction

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

SizeSortedTreeConjunction

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

Method Detail

getFactory

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

remove

public void remove(Formula term)

Specified by:

remove in interface Conjunction

Overrides:

remove in class UnsortedTreeConjunction

setAll

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

Specified by:

setAll in interface Conjunction

Overrides:

setAll in class UnsortedTreeConjunction

See Also:

ltl2aut.formula.conjunction.UnsortedTreeConjunction#setAll(java.util.Collection)