org.processmining.plugins.declare.visualizing.DGraph graph
javax.swing.JPanel mainPanel
boolean result
java.awt.Container monitor
java.awt.event.ActionListener positive
java.awt.event.ActionListener negative
java.awt.Component buttons
java.awt.Component content
boolean display
org.processmining.framework.util.ui.widgets.ProMSplitPane metricsPanel
javax.swing.JPanel mainPanel
java.awt.Color foreground
java.awt.Color background
java.awt.geom.Point2D oldSize
java.util.Vector<E> labels
javax.swing.JTabbedPane tp
ModelPanel work
java.util.HashMap<K,V> map
javax.swing.AbstractButton blank
java.util.Vector<E> list
AbstractDialog.Button close
ActivityDefinition parameter
boolean label
boolean visible
java.util.Vector<E> metrics
java.util.Vector<E> timeDistances
double[] histogrData
java.util.Vector<E> without
java.util.Vector<E> with
org.processmining.framework.util.ui.widgets.ProMSplitPane metricsPanel
java.util.Vector<E> labels
javax.swing.JPanel mainPanel
java.awt.Color line
java.awt.Color foreground
java.awt.Color background
float DEFAULT_LINE_WIDTH
LineStyle lineStyle
java.awt.Color color
org.jgraph.graph.EdgeView edge
DefaultFileFilter filter
int minimumWidth
DVertex vertex
boolean exit
java.lang.Throwable error
AssignmentPanel panel
GraphListener graphListener
java.lang.String INSERT_ICON
java.lang.String CONNECT_ICON
java.lang.String COPY_ICON
java.lang.String PASTE_ICON
java.lang.String CUT_ICON
java.lang.String DELETE_ICON
java.lang.String TOFRONT_ICON
java.lang.String TOBACK_ICON
java.lang.String ZOOM_ICON
java.lang.String ZOOMIN_ICON
java.lang.String ZOOMOUT_ICON
java.lang.String GROUP_ICON
java.lang.String UNGROUP_ICON
org.jgraph.JGraph graph
org.jgraph.graph.GraphUndoManager undoManager
javax.swing.Action undo
javax.swing.Action redo
javax.swing.Action remove
javax.swing.Action group
javax.swing.Action ungroup
javax.swing.Action tofront
javax.swing.Action toback
javax.swing.Action cut
javax.swing.Action copy
javax.swing.Action paste
int cellCount
GraphPane.EdStatusBar statusBar
java.lang.String language
javax.swing.JLabel leftSideStatus
javax.swing.JLabel rightSideStatus
javax.swing.Action action
GraphPreview preview
javax.swing.JScrollPane scrollPane
java.util.ArrayList<E> lines
java.util.ArrayList<E> strings
javax.swing.JComboBox<E> lineList
javax.swing.JPanel panel1
javax.swing.JPanel panel2
javax.swing.JPanel insetsPanel1
javax.swing.JPanel insetsPanel2
javax.swing.JPanel insetsPanel3
javax.swing.JButton button1
javax.swing.JLabel imageLabel
javax.swing.JLabel label1
javax.swing.JLabel label2
javax.swing.JLabel label3
javax.swing.JLabel label4
javax.swing.ImageIcon image1
java.awt.BorderLayout borderLayout1
java.awt.BorderLayout borderLayout2
java.awt.FlowLayout flowLayout1
java.awt.GridLayout gridLayout1
java.lang.String product
java.lang.String version
java.lang.String copyright
java.lang.String comments
javax.swing.JTextField name
AbstractDialog.Button ok
AbstractDialog.Button cancel
javax.swing.JLabel name
java.awt.Color color
javax.swing.JButton btn
java.util.List<E> real
Parameter parameter
org.processmining.plugins.declareminer.visualizing.ParameterPanel.Listener listener
org.jgraph.graph.VertexView edge
int objectColumn
GraphPanel graph