Serialized Form

Package cobaUI

Class cobaUI.COBAApplet extends javax.swing.JApplet implements Serializable

Serialized Fields

mainPanel

MainPanel mainPanel

A reference to the main belief change interface with the KB list, the revision list, and the contraction list.

icPanel

ICPanel icPanel

A reference to the integrity constraints interface with the EB IC list and the CB IC list.

historyPanel

HistoryPanel historyPanel

A reference to the history of changes log for the KB, the EB IC, and the CB IC.

algoItems

javax.swing.JRadioButtonMenuItem[] algoItems

The group of search algorithm radio buttons under the settings menu.

mergeItems

javax.swing.JRadioButtonMenuItem[] mergeItems

The group of merge type radio buttons under the settings menu.

changeItems

javax.swing.JRadioButtonMenuItem[] changeItems

The group of change type radio buttons under the settings menu.

consCheck

javax.swing.JCheckBoxMenuItem consCheck

The check box for enabling and disabling consistency check on each entry.

doConsCheck

javax.swing.JMenu doConsCheck

The "Perform Consistency Check" submenu under the settings menu. This is enabed only when the user switches consistency check off or back on.

ccKB

javax.swing.JMenuItem ccKB

The "Perform Consistency Check -> KB *" item under the settings menu.

saveKB

javax.swing.JMenuItem saveKB

The "Save -> KB" item under the file menu.

saveRev

javax.swing.JMenuItem saveRev

The "Save -> Revisor" item under the file menu.

saveCont

javax.swing.JMenuItem saveCont

The "Save -> Contractor" item under the file menu.

saveKBHist

javax.swing.JMenuItem saveKBHist

The "Save -> KB History" item under the file menu.

saveEBHist

javax.swing.JMenuItem saveEBHist

The "Save -> EB IC History" item under the file menu.

saveCBHist

javax.swing.JMenuItem saveCBHist

The "Save -> CB IC History" item under the file menu.

saveEB

javax.swing.JMenuItem saveEB

The "Save -> Entailment-based IC" item under the file menu.

saveCB

javax.swing.JMenuItem saveCB

The "Save -> Consistency-based IC" item under the file menu.

saveAll

javax.swing.JMenuItem saveAll

The "Save -> All" item under the file menu.

addKB

javax.swing.JMenuItem addKB

The "Append to KB *" item under the file menu.

newKB

javax.swing.JMenuItem newKB

The "New KB..." item under the file menu.

newRev

javax.swing.JMenuItem newRev

The "New Revisor..." item under the file menu.

newCont

javax.swing.JMenuItem newCont

The "New Contractor..." item under the file menu.

newCB

javax.swing.JMenuItem newCB

The "New Consistency-based IC..." item under the file menu.

newEB

javax.swing.JMenuItem newEB

The "New Entailment-based IC..." item under the file menu.

addRev

javax.swing.JMenuItem addRev

The "Append to Revisor" item under the file menu.

addCont

javax.swing.JMenuItem addCont

The "Append to Contractor" item under the file menu.

addCB

javax.swing.JMenuItem addCB

The "Append to Consistency-based IC" item under the file menu.

addEB

javax.swing.JMenuItem addEB

The "Append to Entailment-based IC" item under the file menu.

KBName

java.lang.String KBName

The name of the most recent file to which the KB list was saved.

RevName

java.lang.String RevName

The name of the most recent file to which the revision list was saved.

ContName

java.lang.String ContName

The name of the most recent file to which the contraction list was saved.

KBHistName

java.lang.String KBHistName

The name of the most recent file to which the KB history log was saved.

EBName

java.lang.String EBName

The name of the most recent file to which the EB IC list was saved.

CBName

java.lang.String CBName

The name of the most recent file to which the CB IC list was saved.

EBHistName

java.lang.String EBHistName

The name of the most recent file to which the EB IC history log was saved.

CBHistName

java.lang.String CBHistName

The name of the most recent file to which the CB IC history log was saved.

importingKB

boolean importingKB

A boolean value which is true only when "Append to KB" or "New KB" file menu item is invoked.

consCheckOn

boolean consCheckOn

A boolean value which is true only if consistency check should be performed on each entry.

Package revisionlogic

Class revisionlogic.InconsistencyException extends java.lang.Exception implements Serializable

Serialized Fields

s

java.lang.String s

A reference to the inconsistency error message.

Class revisionlogic.SyntaxErrException extends java.lang.Exception implements Serializable

Serialized Fields

s

java.lang.String s

A reference to the syntax error message.