Class TaggedPlaceSet

  • All Implemented Interfaces:
    java.io.Serializable, org.processmining.placebasedlpmdiscovery.model.exporting.Exportable<TaggedPlaceSet>

    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)