Class LocalProcessModelMiner

  • All Implemented Interfaces:
    java.awt.event.ActionListener, java.util.EventListener, java.util.Observer, javax.swing.event.ChangeListener

    public class LocalProcessModelMiner
    extends java.lang.Object
    implements javax.swing.event.ChangeListener, java.awt.event.ActionListener, java.util.Observer
    • Field Detail

      • log

        protected org.deckfour.xes.model.XLog log
      • resultsTabbedPanel

        protected javax.swing.JTabbedPane resultsTabbedPanel
      • groupToLpmsMap

        protected java.util.Map<java.lang.Integer,​java.util.List<java.lang.Integer>> groupToLpmsMap
      • groupToLpmsPaneMap

        protected java.util.Map<java.lang.Integer,​javax.swing.JTabbedPane> groupToLpmsPaneMap
      • alphabetToGroupMap

        protected java.util.Map<java.util.Set<java.lang.String>,​java.lang.Integer> alphabetToGroupMap
      • groupsToPaint

        protected java.util.Vector<java.lang.Integer> groupsToPaint
      • context

        protected org.processmining.framework.plugin.PluginContext context
      • duplicateTransitionChkBx

        protected javax.swing.JCheckBox duplicateTransitionChkBx
      • seqChkBx

        protected javax.swing.JCheckBox seqChkBx
      • andChkBx

        protected javax.swing.JCheckBox andChkBx
      • orChkBx

        protected javax.swing.JCheckBox orChkBx
      • xorChkBx

        protected javax.swing.JCheckBox xorChkBx
      • xorloopChkBx

        protected javax.swing.JCheckBox xorloopChkBx
      • resultsContainerPanel

        protected javax.swing.JPanel resultsContainerPanel
      • startMiningButton

        protected javax.swing.JButton startMiningButton
      • exportPetrinetsButton

        protected javax.swing.JButton exportPetrinetsButton
      • exportLPMRButton

        protected javax.swing.JButton exportLPMRButton
      • manualChange

        protected boolean manualChange
      • timer

        protected javax.swing.Timer timer
      • timer2

        protected javax.swing.Timer timer2
      • suppressUpdates

        protected boolean suppressUpdates
      • resultsMessageLabel

        protected javax.swing.JLabel resultsMessageLabel
      • useAdjacencyConstraintChkBox

        protected javax.swing.JCheckBox useAdjacencyConstraintChkBox
      • useTimeConstraintChkBox

        protected javax.swing.JCheckBox useTimeConstraintChkBox
      • overlayOptions

        protected java.lang.String[] overlayOptions
      • overlayComboBox

        protected javax.swing.JComboBox<java.lang.String> overlayComboBox
    • Constructor Detail

      • LocalProcessModelMiner

        public LocalProcessModelMiner()
    • Method Detail

      • visualize

        public javax.swing.JComponent visualize​(org.processmining.framework.plugin.PluginContext context,
                                                org.deckfour.xes.model.XLog log,
                                                LocalProcessModelParameters params)
      • visualize

        public javax.swing.JComponent visualize​(org.processmining.framework.plugin.PluginContext context,
                                                org.deckfour.xes.model.XLog log)
      • generateNavigationPanel

        protected javax.swing.JComponent generateNavigationPanel​(org.processmining.framework.plugin.PluginContext context)
      • refreshResultsPanel

        protected void refreshResultsPanel​(org.processmining.framework.plugin.PluginContext context)
      • generateResultsPanel

        protected javax.swing.JComponent generateResultsPanel​(org.processmining.framework.plugin.PluginContext context)
      • generateParameterPanel

        protected javax.swing.JComponent generateParameterPanel​(org.processmining.framework.plugin.PluginContext context)
      • resizeSlickerTabbedPane

        protected void resizeSlickerTabbedPane​(javax.swing.JPanel pane6)
      • paintGroup

        protected javax.swing.JTabbedPane paintGroup​(java.lang.Integer groupIndex)
      • stateChanged

        public void stateChanged​(javax.swing.event.ChangeEvent e)
        Specified by:
        stateChanged in interface javax.swing.event.ChangeListener
      • update

        public void update​(java.util.Observable arg0,
                           java.lang.Object arg1)
        Specified by:
        update in interface java.util.Observer
      • actionPerformed

        public void actionPerformed​(java.awt.event.ActionEvent e)
        Specified by:
        actionPerformed in interface java.awt.event.ActionListener