org.processmining.ltl2automaton.plugins.formula.conjunction

Class GroupedTreeConjunction

java.lang.Object

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

org.processmining.ltl2automaton.plugins.formula.conjunction.GroupedTreeConjunction

All Implemented Interfaces:

java.lang.Iterable<Formula>, Conjunction

public class GroupedTreeConjunction
extends UnsortedTreeConjunction

Author:

michael

Field Summary

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

formulaMap, leaves, nextName

Constructor Summary

Constructors

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)

Method Summary

Modifier and Type	Method and Description
void	balance()
static ConjunctionFactory<? extends GroupedTreeConjunction>	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, 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

GroupedTreeConjunction

public GroupedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory)

GroupedTreeConjunction

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

Parameters:

formulas -

GroupedTreeConjunction

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

Parameters:

f -

Method Detail

getFactory

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

balance

public void balance()

Specified by:

balance in interface Conjunction

Overrides:

balance in class UnsortedTreeConjunction

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)