Package org.processmining.placebasedlpmdiscovery.model.serializable

Class PlaceSet

java.lang.Object

org.processmining.placebasedlpmdiscovery.model.serializable.SerializableSet<Place>

org.processmining.placebasedlpmdiscovery.model.serializable.PlaceSet

All Implemented Interfaces:

java.io.Serializable, Exportable<PlaceSet>, SerializableCollection<Place>, PlaceDiscovery

public class PlaceSet
extends SerializableSet<Place>
implements Exportable<PlaceSet>, PlaceDiscovery

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
PlaceSet()
PlaceSet(java.util.Set<Place> places)

Method Summary

Modifier and Type	Method	Description
void	export(Exporter<PlaceSet> exporter, java.io.OutputStream os)
PlaceDiscoveryResult	getPlaces()
void	writePassageUsage(LEFRMatrix lefrMatrix)

Methods inherited from class org.processmining.placebasedlpmdiscovery.model.serializable.SerializableSet

add, addAll, contains, getElements, getList, remove, size

Methods inherited from class java.lang.Object

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

Constructor Detail

PlaceSet

public PlaceSet()

PlaceSet

public PlaceSet(java.util.Set<Place> places)

Method Detail

writePassageUsage

public void writePassageUsage(LEFRMatrix lefrMatrix)

export

public void export(Exporter<PlaceSet> exporter,
                   java.io.OutputStream os)

Specified by:

export in interface Exportable<PlaceSet>

getPlaces

public PlaceDiscoveryResult getPlaces()

Specified by:

getPlaces in interface PlaceDiscovery