Package org.processmining.OCLPMDiscovery.model

Class TaggedPlaceSet

  • All Implemented Interfaces:
    java.io.Serializable, org.processmining.placebasedlpmdiscovery.model.exporting.Exportable<TaggedPlaceSet>, org.processmining.placebasedlpmdiscovery.model.serializable.SerializableCollection<TaggedPlace>
    public class TaggedPlaceSet
extends org.processmining.placebasedlpmdiscovery.model.serializable.SerializableSet<TaggedPlace>
implements org.processmining.placebasedlpmdiscovery.model.exporting.Exportable<TaggedPlaceSet>
    See Also:
    Serialized Form

    • Constructor Detail

      • TaggedPlaceSet

        public TaggedPlaceSet()

      • TaggedPlaceSet

        public TaggedPlaceSet​(java.util.Set<TaggedPlace> places)

      • TaggedPlaceSet

        public TaggedPlaceSet​(org.processmining.placebasedlpmdiscovery.model.serializable.PlaceSet placeSet)

    • Method Detail

      • export

        public void export​(org.processmining.placebasedlpmdiscovery.model.exporting.exporters.Exporter<TaggedPlaceSet> exporter,
                   java.io.OutputStream os)
        Specified by:
        export in interface org.processmining.placebasedlpmdiscovery.model.exporting.Exportable<TaggedPlaceSet>

      • asPlaceSet

        public org.processmining.placebasedlpmdiscovery.model.serializable.PlaceSet asPlaceSet()

      • getStartingActivities

        public java.util.Map<java.lang.String,​java.util.Set<java.lang.String>> getStartingActivities()

      • setStartingActivities

        public void setStartingActivities​(java.util.Map<java.lang.String,​java.util.Set<java.lang.String>> startingActivities)

      • getEndingActivities

        public java.util.Map<java.lang.String,​java.util.Set<java.lang.String>> getEndingActivities()

      • setEndingActivities

        public void setEndingActivities​(java.util.Map<java.lang.String,​java.util.Set<java.lang.String>> endingActivities)

      • getTypes

        public java.util.Set<java.lang.String> getTypes()

      • setTypes

        public void setTypes​(java.util.Set<java.lang.String> types)

      • removeIsomorphic

        public void removeIsomorphic()

      • getNumberOfPlaces

        public int getNumberOfPlaces()

      • getNumberOfUniquePlaces

        public int getNumberOfUniquePlaces()

      • setNumberOfUniquePlaces

        public void setNumberOfUniquePlaces​(int numberOfUniquePlaces)

      • getDiscoveryTime

        public long getDiscoveryTime()

      • setDiscoveryTime

        public void setDiscoveryTime​(long discoveryTime)

      • getTauThreshold

        public double getTauThreshold()

      • setTauThreshold

        public void setTauThreshold​(double tauThreshold)