Serialized Form
jPanelContainer
javax.swing.JPanel jPanelContainer
jButton1
javax.swing.JButton jButton1
jButton2
javax.swing.JButton jButton2
jButton3
javax.swing.JButton jButton3
jButton4
javax.swing.JButton jButton4
jTabbedPaneGraphs
javax.swing.JTabbedPane jTabbedPaneGraphs
jPanelCG
javax.swing.JPanel jPanelCG
jScrollPaneCG
javax.swing.JScrollPane jScrollPaneCG
jPanelCGContent
javax.swing.JPanel jPanelCGContent
jCheckBox1
javax.swing.JCheckBox jCheckBox1
jCheckBox2
javax.swing.JCheckBox jCheckBox2
jCheckBox3
javax.swing.JCheckBox jCheckBox3
c_verif
MDVerifMain c_verif
dialog
MDVerifDialog dialog
stats
MDVerifStats stats
c_bg
java.awt.Image c_bg
c_nodes
java.util.Vector<E> c_nodes
c_trans
java.util.Vector<E> c_trans
c_dbg
java.awt.Graphics c_dbg
c_cntr
int c_cntr
initX
int initX
initY
int initY
c_showIsomorphic
boolean c_showIsomorphic
c_showOrdinal
boolean c_showOrdinal
c_showUnreachable
boolean c_showUnreachable
jScrollPaneSep
javax.swing.JScrollPane jScrollPaneSep
jPanelSepContent
javax.swing.JPanel jPanelSepContent
c_bg
java.awt.Image c_bg
c_nodes
java.util.Vector<E> c_nodes
c_trans
java.util.Vector<E> c_trans
c_dbg
java.awt.Graphics c_dbg
Package verf.mdverif.verifier |
c_verif
MDVerifMain c_verif
- Main verif object reference
c_modes
java.util.Vector<E> c_modes
- Vector of system design modes.
c_desmodel
verf.mddesigner.gui.mvc.model.MModel c_desmodel
- Reference onto mode designer object.
c_formulas
java.util.Vector<E> c_formulas
- Vector of verified RTL formulas.
jButton1
javax.swing.JButton jButton1
jButtonAdd
javax.swing.JButton jButtonAdd
jButtonClose
javax.swing.JButton jButtonClose
jButtonDelete1
javax.swing.JButton jButtonDelete1
jButtonDelete2
javax.swing.JButton jButtonDelete2
jButtonDelete3
javax.swing.JButton jButtonDelete3
jButtonDelete4
javax.swing.JButton jButtonDelete4
jButtonVerify
javax.swing.JButton jButtonVerify
jComboBoxMode1
javax.swing.JComboBox jComboBoxMode1
jComboBoxMode2
javax.swing.JComboBox jComboBoxMode2
jComboBoxRelation
javax.swing.JComboBox jComboBoxRelation
jComboBoxType1
javax.swing.JComboBox jComboBoxType1
jComboBoxType2
javax.swing.JComboBox jComboBoxType2
jLabel1
javax.swing.JLabel jLabel1
jLabel10
javax.swing.JLabel jLabel10
jLabel11
javax.swing.JLabel jLabel11
jLabel12
javax.swing.JLabel jLabel12
jLabel13
javax.swing.JLabel jLabel13
jLabel14
javax.swing.JLabel jLabel14
jLabelFormula1
javax.swing.JLabel jLabelFormula1
jLabelFormula2
javax.swing.JLabel jLabelFormula2
jLabelFormula3
javax.swing.JLabel jLabelFormula3
jLabelFormula4
javax.swing.JLabel jLabelFormula4
jLabelResult1
javax.swing.JLabel jLabelResult1
jLabelResult2
javax.swing.JLabel jLabelResult2
jLabelResult3
javax.swing.JLabel jLabelResult3
jLabelResult4
javax.swing.JLabel jLabelResult4
jPanel1
javax.swing.JPanel jPanel1
jTextFieldConstant
javax.swing.JTextField jTextFieldConstant
c_verif
MDVerifMain c_verif
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
jLabel21
javax.swing.JLabel jLabel21
jLabel3
javax.swing.JLabel jLabel3
jLabel30
javax.swing.JLabel jLabel30
jLabel31
javax.swing.JLabel jLabel31
jLabel32
javax.swing.JLabel jLabel32
jLabel33
javax.swing.JLabel jLabel33
jLabel34
javax.swing.JLabel jLabel34
jLabel35
javax.swing.JLabel jLabel35
jLabel36
javax.swing.JLabel jLabel36
jLabel37
javax.swing.JLabel jLabel37
jLabel38
javax.swing.JLabel jLabel38
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