Package org.processmining.poemsconformancecheckingforbpmn.models.utils.ordered_set.partial

Interface PartiallyOrderedSet<ELEMENT>

All Superinterfaces:

AlphabetCollection<ELEMENT>, java.util.Collection<ELEMENT>, java.lang.Iterable<ELEMENT>, OrderedSet<ELEMENT>, java.util.Set<ELEMENT>

All Known Implementing Classes:

ArrayPartiallyOrderedSet, MapPartiallyOrderedSet

public interface PartiallyOrderedSet<ELEMENT>
extends OrderedSet<ELEMENT>, java.util.Set<ELEMENT>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	PartiallyOrderedSet.Entry<E>

Method Summary

Modifier and Type	Method	Description
java.util.Set<ELEMENT>	getAlphabet()
java.util.Set<ELEMENT>	getAscendants(ELEMENT element)
java.util.Set<ELEMENT>	getEnabled(java.util.Collection<ELEMENT> executed)
java.util.Set<PartiallyOrderedSet.Entry<ELEMENT>>	getEntrySet()
java.util.List<ELEMENT>	getLoopSequence(ELEMENT element, ELEMENT predecessor)
java.util.Set<ELEMENT>	getPredecessors(ELEMENT element)
void	setPredecessor(ELEMENT element, ELEMENT predecessor)
void	setPredecessors(ELEMENT element, java.util.Collection<ELEMENT> predecessors)
java.lang.String	toString()

Methods inherited from interface org.processmining.poemsconformancecheckingforbpmn.models.utils.AlphabetCollection

toGraphViz

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface org.processmining.poemsconformancecheckingforbpmn.models.utils.ordered_set.OrderedSet

getNumberOfConnections, isEnabled, size

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArray

Method Detail

setPredecessor

void setPredecessor(ELEMENT element,
                    ELEMENT predecessor)
             throws PartialOrderLoopNotAllowedException

Throws:

PartialOrderLoopNotAllowedException

setPredecessors

void setPredecessors(ELEMENT element,
                     java.util.Collection<ELEMENT> predecessors)
              throws PartialOrderLoopNotAllowedException

Throws:

PartialOrderLoopNotAllowedException

getAlphabet

java.util.Set<ELEMENT> getAlphabet()

Specified by:

getAlphabet in interface AlphabetCollection<ELEMENT>

getAscendants

java.util.Set<ELEMENT> getAscendants(ELEMENT element)

Specified by:

getAscendants in interface OrderedSet<ELEMENT>

getPredecessors

java.util.Set<ELEMENT> getPredecessors(ELEMENT element)

Specified by:

getPredecessors in interface OrderedSet<ELEMENT>

getEnabled

java.util.Set<ELEMENT> getEnabled(java.util.Collection<ELEMENT> executed)

Specified by:

getEnabled in interface OrderedSet<ELEMENT>

getEntrySet

java.util.Set<PartiallyOrderedSet.Entry<ELEMENT>> getEntrySet()

getLoopSequence

java.util.List<ELEMENT> getLoopSequence(ELEMENT element,
                                        ELEMENT predecessor)

toString

java.lang.String toString()

Specified by:

toString in interface OrderedSet<ELEMENT>

Overrides:

toString in class java.lang.Object