java.util.Set<E> entering
java.util.Set<E> exiting
java.util.Set<E> internal
java.util.Set<E> external
boolean dis_ent_ex
boolean dis_ent_int
boolean dis_ent_ext
boolean dis_ex_ext
boolean dis_ex_int
TSMinerInput settings
org.processmining.framework.plugin.PluginContext context
org.processmining.models.jgraph.visualization.ProMJGraphPanel parentPanel
com.fluxicon.slickerbox.components.NiceIntegerSlider slider
com.fluxicon.slickerbox.components.SlickerButton filterButton
TransitionSystem transitionSystem
javax.swing.JPanel componentPanel
javax.swing.JLabel label
int maxValue
StatisticsAnnotationTable table
java.awt.Color[] colors
boolean enabled
java.awt.Dimension preferredSize_
int pixMin_
int pixMax_
int width_
int pix1_
int pix2_
double[] values
java.awt.Font font
javax.swing.JPanel splitPane
javax.swing.JPanel menuPanel
javax.swing.JSplitPane chartPanel
GUIPropertyListEnumeration colorBySort
TripleSlider slider
StatisticsAnnotationPanel table
PayloadTransitionSystem<E> system
TimeTransitionSystemAnnotation annotation
org.processmining.models.graphbased.ViewSpecificAttributeMap map
org.processmining.models.jgraph.visualization.ProMJGraphPanel graphVisPanel