Class ExplorerModel


  • public class ExplorerModel
    extends java.lang.Object
    • Field Detail

      • maxLineWidth

        protected float maxLineWidth
      • minLineWidth

        protected float minLineWidth
    • Constructor Detail

      • ExplorerModel

        public ExplorerModel​(org.deckfour.xes.model.XLog log,
                             org.processmining.datapetrinets.DataPetriNetsWithMarkings model)
    • Method Detail

      • getLog

        public org.deckfour.xes.model.XLog getLog()
      • hasLog

        public boolean hasLog()
      • getEventClasses

        public org.deckfour.xes.classification.XEventClasses getEventClasses()
      • getLogAttributes

        public java.util.Set<java.lang.String> getLogAttributes()
      • getLogAttributeType

        public java.lang.Class<?> getLogAttributeType​(java.lang.String key)
      • getColorMap

        public java.util.Map<org.deckfour.xes.classification.XEventClass,​java.awt.Color> getColorMap()
      • getFilteredLog

        public java.lang.Iterable<org.deckfour.xes.model.XTrace> getFilteredLog()
      • getModel

        public org.processmining.datapetrinets.DataPetriNetsWithMarkings getModel()
      • getInitialMarking

        public org.processmining.models.semantics.petrinet.Marking getInitialMarking()
      • getFinalMarkings

        public org.processmining.models.semantics.petrinet.Marking[] getFinalMarkings()
      • getAlignment

        public org.processmining.xesalignmentextension.XAlignmentExtension.XAlignedLog getAlignment()
      • setAlignment

        public void setAlignment​(org.processmining.xesalignmentextension.XAlignmentExtension.XAlignedLog alignment)
      • hasAlignment

        public boolean hasAlignment()
      • getAlignmentColorMap

        public java.util.Map<java.lang.String,​java.awt.Color> getAlignmentColorMap()
      • getFilteredAlignments

        public java.lang.Iterable<org.processmining.xesalignmentextension.XAlignmentExtension.XAlignment> getFilteredAlignments()
      • isAlignmentDirty

        public boolean isAlignmentDirty()
      • setFilterConfiguration

        public void setFilterConfiguration​(FilterConfiguration filterConfiguration)
      • getViewMode

        public ViewMode getViewMode()
      • setViewMode

        public void setViewMode​(ViewMode viewMode)
      • isViewModeDirty

        public boolean isViewModeDirty()
      • resetDirtyFlags

        public void resetDirtyFlags()
      • isFilterDirty

        public boolean isFilterDirty()
      • getAlignmentConfiguration

        public org.processmining.plugins.balancedconformance.config.BalancedProcessorConfiguration getAlignmentConfiguration()
      • setAlignmentConfiguration

        public void setAlignmentConfiguration​(org.processmining.plugins.balancedconformance.config.BalancedProcessorConfiguration alignmentConfiguration)
      • getOutEdgeMap

        public java.util.Map<java.lang.String,​java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>> getOutEdgeMap()
      • getInEdgeMap

        public java.util.Map<java.lang.String,​java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>> getInEdgeMap()
      • getTransitionsLocalId

        public java.util.Map<java.lang.String,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransitionsLocalId()
      • getChartAttributes

        public java.util.Set<Attribute> getChartAttributes()
      • getDictionary

        public java.util.List<java.lang.String> getDictionary()
      • getVariableDisplayMode

        public org.processmining.datapetrinets.visualization.graphviz.DPNGraphvizConverterPlugin.VariableDisplayMode getVariableDisplayMode()
      • setVariableDisplayMode

        public void setVariableDisplayMode​(org.processmining.datapetrinets.visualization.graphviz.DPNGraphvizConverterPlugin.VariableDisplayMode variableDisplayMode)
      • getGuardDisplayMode

        public org.processmining.datapetrinets.visualization.graphviz.DPNGraphvizConverterPlugin.GuardDisplayMode getGuardDisplayMode()
      • setGuardDisplayMode

        public void setGuardDisplayMode​(org.processmining.datapetrinets.visualization.graphviz.DPNGraphvizConverterPlugin.GuardDisplayMode guardDisplayMode)
      • setPlaceDisplayMode

        public void setPlaceDisplayMode​(org.processmining.datapetrinets.visualization.graphviz.DPNGraphvizConverterPlugin.PlaceDisplayMode placeDisplayMode)
      • getPlaceDisplayMode

        public org.processmining.datapetrinets.visualization.graphviz.DPNGraphvizConverterPlugin.PlaceDisplayMode getPlaceDisplayMode()
      • getSelectedAlignments

        public java.util.Collection<org.processmining.xesalignmentextension.XAlignmentExtension.XAlignment> getSelectedAlignments()
      • setSelectedAlignments

        public void setSelectedAlignments​(java.util.Collection<org.processmining.xesalignmentextension.XAlignmentExtension.XAlignment> selectedAlignments)
      • resetDiscoveryResult

        public void resetDiscoveryResult()
      • isDiscoveryResultDirty

        public boolean isDiscoveryResultDirty()
      • getEventClassifier

        public org.deckfour.xes.classification.XEventClassifier getEventClassifier()
      • setEventClassifier

        public void setEventClassifier​(org.deckfour.xes.classification.XEventClassifier eventClassifier)
      • isStandardAttribute

        public boolean isStandardAttribute​(java.lang.String key)
      • setLiteralValues

        public void setLiteralValues​(java.util.Map<java.lang.String,​java.util.Set<java.lang.String>> literalValues)
      • getLiteralValues

        public java.util.Map<java.lang.String,​java.util.Set<java.lang.String>> getLiteralValues()
      • finalize

        protected void finalize()
                         throws java.lang.Throwable
        Overrides:
        finalize in class java.lang.Object
        Throws:
        java.lang.Throwable
      • setDiscoveredWriteOperations

        public void setDiscoveredWriteOperations​(com.google.common.collect.SetMultimap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.String> discoverWriteOperations)
      • getDiscoveredWriteOperations

        public com.google.common.collect.SetMultimap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.String> getDiscoveredWriteOperations()
      • getMinLineWidth

        public float getMinLineWidth()
      • getMaxLineWidth

        public float getMaxLineWidth()