Serialized Form
serialVersionUID: 7894564895819395L
serialVersionUID: 7894565895819393L
textMachine
javax.swing.JTextField textMachine
textRaffinement
javax.swing.JTextField textRaffinement
textOracleR
javax.swing.JTextField textOracleR
textOracleM
javax.swing.JTextField textOracleM
bParcourir1
javax.swing.JButton bParcourir1
bParcourir2
javax.swing.JButton bParcourir2
bParcourir3
javax.swing.JButton bParcourir3
bParcourir4
javax.swing.JButton bParcourir4
bLancer
javax.swing.JButton bLancer
bQuitter
javax.swing.JButton bQuitter
bNettoyer
javax.swing.JButton bNettoyer
chAf
javax.swing.JCheckBox chAf
chN
javax.swing.JCheckBox chN
chOP
javax.swing.JCheckBox chOP
chV
javax.swing.JCheckBox chV
chABP
javax.swing.JCheckBox chABP
chDg
javax.swing.JCheckBox chDg
chOPEx
javax.swing.JCheckBox chOPEx
chDot
javax.swing.JCheckBox chDot
chHtml
javax.swing.JCheckBox chHtml
chGxl
javax.swing.JCheckBox chGxl
itF
javax.swing.JComboBox itF
itD
javax.swing.JComboBox itD
itP
javax.swing.JComboBox itP
itE
javax.swing.JComboBox itE
RepertoireCourant
java.io.File RepertoireCourant
dejaActive
boolean dejaActive
CetteFenetre
javax.swing.JFrame CetteFenetre
serialVersionUID: 7894565895819393L
textMachine
javax.swing.JTextField textMachine
textRaffinement
javax.swing.JTextField textRaffinement
textOracleR
javax.swing.JTextField textOracleR
textOracleM
javax.swing.JTextField textOracleM
bParcourir1
javax.swing.JButton bParcourir1
bParcourir2
javax.swing.JButton bParcourir2
bParcourir3
javax.swing.JButton bParcourir3
bParcourir4
javax.swing.JButton bParcourir4
bLancer
javax.swing.JButton bLancer
bQuitter
javax.swing.JButton bQuitter
bNettoyer
javax.swing.JButton bNettoyer
chAf
javax.swing.JCheckBox chAf
chN
javax.swing.JCheckBox chN
chOP
javax.swing.JCheckBox chOP
chV
javax.swing.JCheckBox chV
chABP
javax.swing.JCheckBox chABP
chDg
javax.swing.JCheckBox chDg
chOPEx
javax.swing.JCheckBox chOPEx
chDot
javax.swing.JCheckBox chDot
chHtml
javax.swing.JCheckBox chHtml
chGxl
javax.swing.JCheckBox chGxl
itF
javax.swing.JComboBox itF
itD
javax.swing.JComboBox itD
itP
javax.swing.JComboBox itP
itE
javax.swing.JComboBox itE
panelFichiers
javax.swing.JPanel panelFichiers
panelBoutons
javax.swing.JPanel panelBoutons
panelOptions
javax.swing.JPanel panelOptions
panelSortie
javax.swing.JPanel panelSortie
panelExperiments
javax.swing.JPanel panelExperiments
Tabulations
javax.swing.JTabbedPane Tabulations
RepertoireCourant
java.io.File RepertoireCourant
dejaActive
boolean dejaActive
CetteFenetre
javax.swing.JFrame CetteFenetre
serialVersionUID: 7894565895819394L
ResultatGeneration
javax.swing.JTextArea ResultatGeneration
bRetour
javax.swing.JButton bRetour
bVisualiserAbstr
javax.swing.JButton bVisualiserAbstr
bVisualiserRaff
javax.swing.JButton bVisualiserRaff
fGene
AppliGene fGene
barreDeroul
javax.swing.JScrollPane barreDeroul
serialVersionUID: 7894565895819397L
fGene
javax.swing.JFrame fGene
onglet
javax.swing.JTabbedPane onglet
serialVersionUID: 7894565895819395L
bQuitter
javax.swing.JButton bQuitter
bEffacer
javax.swing.JButton bEffacer
bCocher
javax.swing.JButton bCocher
bRetour
javax.swing.JButton bRetour
fGene
javax.swing.JFrame fGene
JHaut
javax.swing.JPanel JHaut
JCentre
javax.swing.JPanel JCentre
JBas
javax.swing.JPanel JBas
corbeille
GestionNettoyer corbeille
onglets
GestionOnglets onglets
PanneauMessages
javax.swing.JTextArea PanneauMessages
PanneauMessagesDecore
javax.swing.JScrollPane PanneauMessagesDecore
serialVersionUID: 7894565895819396L
fGene
javax.swing.JFrame fGene
primitivesNet
PrimitivesNettoyage primitivesNet
isAllDirSelected
boolean isAllDirSelected
isAllProjectSelected
boolean isAllProjectSelected
ABProjectsList
javax.swing.JPanel ABProjectsList
DelDirBtn
javax.swing.JButton DelDirBtn
DelProjectBtn
javax.swing.JButton DelProjectBtn
DirectoriesList
javax.swing.JPanel DirectoriesList
SelectAllDirBtn
javax.swing.JButton SelectAllDirBtn
SelectAllProjectBtn
javax.swing.JButton SelectAllProjectBtn
jButton2
javax.swing.JButton jButton2
jButton6
javax.swing.JButton jButton6
jCheckBox26
javax.swing.JCheckBox jCheckBox26
jCheckBox9
javax.swing.JCheckBox jCheckBox9
jLabel1
javax.swing.JLabel jLabel1
jLabel2
javax.swing.JLabel jLabel2
jPanel1
javax.swing.JPanel jPanel1
jPanel3
javax.swing.JPanel jPanel3
jPanel4
javax.swing.JPanel jPanel4
jPanel5
javax.swing.JPanel jPanel5
jScrollPane1
javax.swing.JScrollPane jScrollPane1
jScrollPane2
javax.swing.JScrollPane jScrollPane2
jTabbedPane1
javax.swing.JTabbedPane jTabbedPane1
fGene
javax.swing.JFrame fGene
ResultatGeneration
javax.swing.JTextArea ResultatGeneration
bRetour
javax.swing.JButton bRetour
bVisualiserAbstr
javax.swing.JButton bVisualiserAbstr
bVisualiserRaff
javax.swing.JButton bVisualiserRaff
barreDeroul
javax.swing.JScrollPane barreDeroul
jPanel1
javax.swing.JPanel jPanel1
jPanel2
javax.swing.JPanel jPanel2
jPanel3
javax.swing.JPanel jPanel3
jPanel4
javax.swing.JPanel jPanel4
ABInThreadCheck
javax.swing.JCheckBox ABInThreadCheck
CleanFilesCheck
javax.swing.JCheckBox CleanFilesCheck
ClustersUseCheck
javax.swing.JCheckBox ClustersUseCheck
DOTCheck
javax.swing.JCheckBox DOTCheck
DebugCheck
javax.swing.JCheckBox DebugCheck
DisjointedStatesCheck
javax.swing.JCheckBox DisjointedStatesCheck
DoNotVerifyOracles
javax.swing.JRadioButton DoNotVerifyOracles
Force
javax.swing.JSlider Force
GXLCheck
javax.swing.JCheckBox GXLCheck
GenerationLabel
javax.swing.JLabel GenerationLabel
GenerationLabel1
javax.swing.JLabel GenerationLabel1
HTMLCheck
javax.swing.JCheckBox HTMLCheck
InteractiveCheck
javax.swing.JCheckBox InteractiveCheck
MachineName
javax.swing.JTextField MachineName
MachineOracleName
javax.swing.JTextField MachineOracleName
POSlider
javax.swing.JSlider POSlider
RefinementName
javax.swing.JTextField RefinementName
RefinementOracleName
javax.swing.JTextField RefinementOracleName
SymbolDefault
javax.swing.JComboBox SymbolDefault
SymbolFalse
javax.swing.JComboBox SymbolFalse
SymbolTrue
javax.swing.JComboBox SymbolTrue
UsedInteractiveTactics
javax.swing.JLabel UsedInteractiveTactics
VerboseCheck
javax.swing.JCheckBox VerboseCheck
VerifyOracles
javax.swing.JRadioButton VerifyOracles
buttonGroup1
javax.swing.ButtonGroup buttonGroup1
jButton1
javax.swing.JButton jButton1
jButton2
javax.swing.JButton jButton2
jButton3
javax.swing.JButton jButton3
jButton4
javax.swing.JButton jButton4
jButton5
javax.swing.JButton jButton5
jButton6
javax.swing.JButton jButton6
jButton7
javax.swing.JButton jButton7
jLabel1
javax.swing.JLabel jLabel1
jLabel10
javax.swing.JLabel jLabel10
jLabel11
javax.swing.JLabel jLabel11
jLabel12
javax.swing.JLabel jLabel12
jLabel2
javax.swing.JLabel jLabel2
jLabel3
javax.swing.JLabel jLabel3
jLabel4
javax.swing.JLabel jLabel4
jLabel5
javax.swing.JLabel jLabel5
jLabel6
javax.swing.JLabel jLabel6
jLabel7
javax.swing.JLabel jLabel7
jLabel8
javax.swing.JLabel jLabel8
jLabel9
javax.swing.JLabel jLabel9
jPanel1
javax.swing.JPanel jPanel1
jPanel10
javax.swing.JPanel jPanel10
jPanel11
javax.swing.JPanel jPanel11
jPanel12
javax.swing.JPanel jPanel12
jPanel13
javax.swing.JPanel jPanel13
jPanel14
javax.swing.JPanel jPanel14
jPanel15
javax.swing.JPanel jPanel15
jPanel16
javax.swing.JPanel jPanel16
jPanel17
javax.swing.JPanel jPanel17
jPanel18
javax.swing.JPanel jPanel18
jPanel19
javax.swing.JPanel jPanel19
jPanel2
javax.swing.JPanel jPanel2
jPanel20
javax.swing.JPanel jPanel20
jPanel21
javax.swing.JPanel jPanel21
jPanel22
javax.swing.JPanel jPanel22
jPanel23
javax.swing.JPanel jPanel23
jPanel24
javax.swing.JPanel jPanel24
jPanel25
javax.swing.JPanel jPanel25
jPanel3
javax.swing.JPanel jPanel3
jPanel4
javax.swing.JPanel jPanel4
jPanel5
javax.swing.JPanel jPanel5
jPanel6
javax.swing.JPanel jPanel6
jPanel7
javax.swing.JPanel jPanel7
jPanel8
javax.swing.JPanel jPanel8
jPanel9
javax.swing.JPanel jPanel9
jTabbedPane1
javax.swing.JTabbedPane jTabbedPane1