FlexibleHeuristicsMinerSettings settings
javax.swing.JPanel thresholdsPanel
javax.swing.JPanel optionsPanel
javax.swing.JLabel thresholdTitle
javax.swing.JLabel optionsTitle
javax.swing.JLabel l1
javax.swing.JLabel l2
javax.swing.JLabel l3
javax.swing.JLabel l4
javax.swing.JLabel l5
javax.swing.JLabel l6
javax.swing.JLabel l7
javax.swing.JLabel l8
javax.swing.JSlider doubleSlider1
javax.swing.JSlider doubleSlider2
javax.swing.JSlider logarithmicSlider1
javax.swing.JSlider logarithmicSlider2
javax.swing.JSlider doubleSlider3
javax.swing.JPanel doubleSliderPanel1
javax.swing.JPanel doubleSliderPanel2
javax.swing.JPanel logarithmicSliderPanel1
javax.swing.JPanel logarithmicSliderPanel2
javax.swing.JPanel doubleSliderPanel3
javax.swing.JCheckBox c1
javax.swing.JCheckBox c2
javax.swing.JCheckBox c3
org.processmining.framework.util.ui.scalableview.ScalableComponent scalable
javax.swing.JComponent component
javax.swing.JScrollPane scroll
CausalNetAnnotations annotations
org.processmining.framework.util.ui.widgets.Inspector inspector
java.util.HashMap<K,V> inspectorTabs
com.fluxicon.slickerbox.factory.SlickerFactory factory
com.fluxicon.slickerbox.factory.SlickerDecorator decorator
java.util.List<E> selectionListeners
org.processmining.models.jgraph.ContextMenuCreator creator
com.fluxicon.slickerbox.components.SlickerButton exportButton
AnnotatedScalableView mainView
java.lang.String opID
javax.swing.JLabel title
javax.swing.JLabel none
javax.swing.JComboBox<E> perspective
javax.swing.JComboBox<E> metric
javax.swing.JPanel annotationsPanel
javax.swing.JScrollPane annotationsScroll
javax.swing.JTable patternsTable
javax.swing.JTable connectionsTable
java.awt.geom.Rectangle2D rect
java.awt.Stroke stroke
java.awt.Color color
AnnotatedScalableView view
java.awt.geom.Point2D pressPoint
java.awt.Point startDragPoint
java.awt.geom.Rectangle2D lastRect
AnnotatedVisualizationSettings settings
javax.swing.JPanel nodesPanel
javax.swing.JPanel edgesPanel
javax.swing.JLabel nodesTitle
javax.swing.JLabel edgesTitle
javax.swing.JLabel n2
javax.swing.JLabel n3
javax.swing.JLabel e1
javax.swing.JLabel e2
javax.swing.JCheckBox nColor
javax.swing.JComboBox<E> nMeasure
javax.swing.JCheckBox eColor
javax.swing.JComboBox<E> eMeasure
javax.swing.JSlider slider
javax.swing.JLabel sliderMinValue
javax.swing.JLabel sliderMaxValue
javax.swing.JButton sliderFitValue
javax.swing.JLabel sliderValue
int fitZoom
AnnotatedScalableView mainView