Serialized Form


Package verf.mdverif

Class verf.mdverif.MDVerifPane extends javax.swing.JPanel implements Serializable

Serialized Fields

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

Package verf.mdverif.cg

Class verf.mdverif.cg.MDVerifCG extends javax.swing.JPanel implements Serializable

Serialized Fields

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

Package verf.mdverif.sg

Class verf.mdverif.sg.MDVerifSG extends javax.swing.JPanel implements Serializable

Serialized Fields

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

Class verf.mdverif.verifier.MDVerifDialog extends javax.swing.JDialog implements Serializable

Serialized Fields

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

Class verf.mdverif.verifier.MDVerifStats extends javax.swing.JDialog implements Serializable

Serialized Fields

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