java.util.Vector<E> list
java.util.Vector<E> list
java.lang.String[] columnNames
java.util.ArrayList<E> checkResults
javax.swing.JScrollPane rulesScrollPane
javax.swing.JList<E> instancesList
javax.swing.JLabel eventsNameLabel
javax.swing.JLabel eventsSizeLabel
javax.swing.JList<E> eventsList
javax.swing.JLabel rulesLabel
javax.swing.JList<E> rulesList
CheckResultObject crObj
java.util.Vector<E> filteredInstances
java.util.Vector<E> indexes
boolean good
javax.swing.JScrollPane caseScrollPane
javax.swing.JList<E> rulesList
javax.swing.JLabel instanceNameLabel
javax.swing.JLabel instanceSizeLabel
javax.swing.JList<E> eventsList
javax.swing.JLabel caseLabel
javax.swing.JList<E> caseList
CheckResultObject crObj
java.util.Vector<E> indexes
java.util.Vector<E> filteredRules
java.util.Vector<E> selectedRules
java.lang.String selected
java.lang.String[] rules
javax.swing.JComboBox<E> formulaList
javax.swing.JEditorPane descriptionPane
java.util.Hashtable<K,V> paramTable
ParamTable selectParamTable
boolean firstSuccess
boolean firstFailure
boolean skipReady
javax.swing.JButton selectAllButton
javax.swing.JButton deselectAllButton
LTLParser parser
javax.swing.JList<E> rulesList
SetsSet sets
javax.swing.JPanel mainPanel
boolean modified
int selectedIndex
org.deckfour.xes.model.XLog log
int height
java.text.DateFormat dateFormat
javax.swing.JLabel nameLabel
javax.swing.JLabel numberLabel
javax.swing.JLabel originatorLabel
javax.swing.JLabel typeLabel
javax.swing.JLabel timestampLabel
int[] red
int height
java.text.DateFormat dateFormat
javax.swing.JLabel nameLabel
javax.swing.JLabel numberLabel
javax.swing.JLabel originatorLabel
javax.swing.JLabel typeLabel
javax.swing.JLabel timestampLabel
int height
java.text.DateFormat dateFormat
javax.swing.JLabel nameLabel
javax.swing.JLabel numberLabel
javax.swing.JLabel typeLabel
javax.swing.JLabel timestampLabel
com.fluxicon.slickerbox.components.SlickerTabbedPane tpRules
com.fluxicon.slickerbox.components.SlickerTabbedPane tpInstances
CheckResultObject crObj
org.deckfour.xes.model.XLog log
javax.swing.JList<E> instancesList
javax.swing.JLabel instanceNameLabel
javax.swing.JLabel instanceSizeLabel
javax.swing.JList<E> eventsList
javax.swing.JLabel eventLabel
javax.swing.JList<E> attributesList
int height
java.text.DateFormat dateFormat
javax.swing.JLabel nameLabel
javax.swing.JLabel numberLabel
javax.swing.JLabel typeLabel
int height
java.text.DateFormat dateFormat
javax.swing.JLabel nameLabel
javax.swing.JLabel numberLabel
javax.swing.JLabel typeLabel
java.awt.Image inspectorIcon
com.fluxicon.slickerbox.components.SlickerTabbedPane resRules
com.fluxicon.slickerbox.components.SlickerTabbedPane resInstances
org.deckfour.xes.model.XTrace ateList
boolean specialConstructor
Token currentToken
int[][] expectedTokenSequences
java.lang.String[] tokenImage
java.lang.String eol
int errorCode
java.lang.String[] columnNames
java.lang.Object[][] data
boolean isFinal
java.util.List<E> params
javax.swing.JTable table
ParamData data