org.processmining.ltl2automaton.plugins.formula.conjunction

Class PartitionedConjunction

java.lang.Object

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

org.processmining.ltl2automaton.plugins.formula.conjunction.PartitionedConjunction

All Implemented Interfaces:

java.lang.Iterable<Formula>, Conjunction

public class PartitionedConjunction
extends UnsortedTreeConjunction

Field Summary

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

formulaMap, leaves, nextName

Constructor Summary

Constructors

Constructor and Description
PartitionedConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, ConjunctionFactory<? extends UnsortedTreeConjunction> factory)
PartitionedConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, ConjunctionFactory<? extends UnsortedTreeConjunction> factory, java.util.Collection<Formula> terms)
PartitionedConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, ConjunctionFactory<? extends UnsortedTreeConjunction> factory, Formula f)

Method Summary

Modifier and Type	Method and Description
void	add(Formula term)
java.util.Collection<Automaton>	getAutomata()
static ConjunctionFactory<? extends PartitionedConjunction>	getFactory(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory, ConjunctionFactory<? extends UnsortedTreeConjunction> factory)
int	getNumberOfPartitions()
java.util.Collection<java.util.Set<Formula>>	getPartitions()
void	remove(Formula term)
void	reset()
void	setAll(java.util.Collection<Formula> formulas)

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

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

PartitionedConjunction

public PartitionedConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory,
                              ConjunctionFactory<? extends UnsortedTreeConjunction> factory)

PartitionedConjunction

public PartitionedConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory,
                              ConjunctionFactory<? extends UnsortedTreeConjunction> factory,
                              java.util.Collection<Formula> terms)

PartitionedConjunction

public PartitionedConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory,
                              ConjunctionFactory<? extends UnsortedTreeConjunction> factory,
                              Formula f)

Method Detail

getFactory

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

add

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

Specified by:

add in interface Conjunction

Overrides:

add in class UnsortedTreeConjunction

Throws:

javax.naming.OperationNotSupportedException

getAutomata

public java.util.Collection<Automaton> getAutomata()

getNumberOfPartitions

public int getNumberOfPartitions()

getPartitions

public java.util.Collection<java.util.Set<Formula>> getPartitions()

remove

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

Specified by:

remove in interface Conjunction

Overrides:

remove in class UnsortedTreeConjunction

Throws:

javax.naming.OperationNotSupportedException

reset

public void reset()

Overrides:

reset in class UnsortedTreeConjunction

setAll

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

Specified by:

setAll in interface Conjunction

Overrides:

setAll in class UnsortedTreeConjunction