A B C D E F G H I K L M N P R S T V W

A

ATOM - Static variable in class revisionlogic.ISent

An int indicating the atomic sentence type.

Atom - class revisionlogic.Atom.

Atom represents an atom.

Atom(String) - Constructor for class revisionlogic.Atom

Creates a new Atom with literal s.

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.AddCBFileHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.AddContFileHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.AddEBFileHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.AddKBFileHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.AddRevFileHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.AlgoItemHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.ChangeItemHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.ConsCheckHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.MergeItemHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.NewCBFileHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.NewContFileHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.NewEBFileHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.NewKBFileHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.NewRevFileHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveAllHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveAsCBHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveAsCBHistHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveAsContHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveAsEBHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveAsEBHistHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveAsKBHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveAsKBHistHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveAsRevHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveCBHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveCBHistHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveContHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveEBHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveEBHistHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveKBHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveKBHistHandler

actionPerformed(ActionEvent) - Method in class cobaUI.COBAApplet.SaveRevHandler

actionPerformed(ActionEvent) - Method in class cobaUI.ControlText.AlgoListener

actionPerformed(ActionEvent) - Method in class cobaUI.ControlText.AllChangeListener

actionPerformed(ActionEvent) - Method in class cobaUI.ControlText.ChangesListener

actionPerformed(ActionEvent) - Method in class cobaUI.ControlText.ConsListener

actionPerformed(ActionEvent) - Method in class cobaUI.ControlText.MergeListener

actionPerformed(ActionEvent) - Method in class cobaUI.HistoryPanel.CBRevertListener

actionPerformed(ActionEvent) - Method in class cobaUI.HistoryPanel.EBRevertListener

actionPerformed(ActionEvent) - Method in class cobaUI.HistoryPanel.KBRevertListener

Reverts the current KB to an older KB snapshot selected from the KB drop-down list.

actionPerformed(ActionEvent) - Method in class cobaUI.ICPanel.CBAddListener

actionPerformed(ActionEvent) - Method in class cobaUI.ICPanel.EBAddListener

actionPerformed(ActionEvent) - Method in class cobaUI.PreviewList.CNFListener

actionPerformed(ActionEvent) - Method in class cobaUI.PreviewList.CommitListener

actionPerformed(ActionEvent) - Method in class cobaUI.PreviewList.DNFListener

actionPerformed(ActionEvent) - Method in class cobaUI.PreviewList.DefaultListener

actionPerformed(ActionEvent) - Method in class cobaUI.PreviewList.RejectListener

actionPerformed(ActionEvent) - Method in class cobaUI.SentenceEditor.ContAddListener

actionPerformed(ActionEvent) - Method in class cobaUI.SentenceEditor.KBAddListener

actionPerformed(ActionEvent) - Method in class cobaUI.SentenceEditor.RevAddListener

actionPerformed(ActionEvent) - Method in class cobaUI.SentenceList.CNFListener

actionPerformed(ActionEvent) - Method in class cobaUI.SentenceList.ClearAllListener

actionPerformed(ActionEvent) - Method in class cobaUI.SentenceList.DNFListener

actionPerformed(ActionEvent) - Method in class cobaUI.SentenceList.DefaultListener

actionPerformed(ActionEvent) - Method in class cobaUI.SentenceList.RemoveListener

activateAfterDecision() - Method in class cobaUI.COBAApplet

Reactivates the three panels and the menu items for importing a new file into the KB list, the revision list, the contraction list, the EB IC list, or the CB IC list, after the user's decision to reject or commit the new KB.

activateAfterDecision() - Method in class cobaUI.HistoryPanel

Enables all revert buttons after the user's decision to reject or commit the new KB.

activateAfterDecision() - Method in class cobaUI.ICPanel

Reactivates the two lists, the entry field, and the two add buttons after the user's decision to reject or commit the new KB.

activateAfterDecision() - Method in class cobaUI.MainPanel

Reactivates the KB list, the revision list, the contraction list, and the top panel after the user's decision to reject or commit the new KB.

activateAfterDecision() - Method in class cobaUI.SentenceEditor

Reactivates the three add buttons and the entry field after the user's decision to reject or commit the new KB.

activateAfterDecision() - Method in class cobaUI.SentenceList

Reactivates the remove and clear-all buttons after the user's decision to reject or commit the new KB, and only if the SentenceList has at least one sentence.

add(Object) - Method in class revisionlogic.HSet

Adds an element o to this HSet.

addAll(Vector) - Method in class revisionlogic.HSet

Adds each element of the collection c to this HSet.

addEquivalences_NumberedtoPrimed(Collection, int) - Method in class revisionlogic.EquivalenceSet

Creates a set of biconditionals from the strings in v with the superscript n.

addEquivalences_PrimedtoUnprimed(Vector) - Method in class revisionlogic.EquivalenceSet

Creates a set of biconditionals from the strings in v.

addKB - Variable in class cobaUI.COBAApplet

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

addRevertedKBSentence(int, String) - Method in class cobaUI.SentenceList

Parses sLabel as an ISent, creates the corresponding ListSent, and adds the ISent and ListSent to the KB indexed whichKB.

addRevertedSentence(String) - Method in class cobaUI.SentenceList

Parses sLabel as an ISent, creates the corresponding ListSent, and adds the ListSent to the LSVec and the list, and the ISent to the SVec.

addToKB(int, String) - Method in class cobaUI.SentenceList

Adds the sentence represented by sLabel to the KB indexed whichKB, updates SentenceEditor's whichKB if the KB is new.

addToList(Vector) - Method in class cobaUI.PreviewList

Creates ListSents from vSent and inserts the string representations in the selected view format into the list.

addToList(String) - Method in class cobaUI.SentenceList

Parses sLabel as an ISent, checks its consistency if required, creates the corresponding ListSent, and adds the ListSent to LSVec and the list, and the ISent to SVec.

algoItems - Variable in class cobaUI.COBAApplet

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

B

BACKGD - Static variable in class cobaUI.COBAApplet

A reference to the common background color for all three screens.

BIG - Static variable in class cobaUI.ControlText

A reference to a Font object used to set the font for all the panels of the enclosing applet.

BIIMP - Static variable in class revisionlogic.ISent

An int indicating the biconditional sentence type.

BeliefChangeSzenario - class revisionlogic.BeliefChangeSzenario.

BeliefChangeSzenario is a belief change scenario.

BeliefChangeSzenario() - Constructor for class revisionlogic.BeliefChangeSzenario

Creates a new default BeliefChangeSzenario.

BinaryCompound - class revisionlogic.BinaryCompound.

BinaryCompound represents an implication or a biconditional (equivalence) with two operands.

bcs - Variable in class cobaUI.MainPanel

A reference to a BeliefChangeScenario object for executing a belief change scenario.

bcs - Variable in class revisionlogic.COBAApp

A reference to the current belief change scenario.

bottom - Static variable in class revisionlogic.BeliefChangeSzenario

A reference to a Contradiction.

C

CB - Static variable in class cobaUI.SentenceList

An int representing the CB IC type.

CBChangeModel - Variable in class cobaUI.HistoryPanel

The list model managing the corresponding CB IC changes oldCBChange.

CBList - Variable in class cobaUI.ICPanel

The list of consistency-based integrity constraints.

CBModel - Variable in class cobaUI.HistoryPanel

The list model managing the CB IC snapshots oldCB.

CNF - Static variable in class cobaUI.ListSent

An int representing the cnf view format for sentences.

COBAApp - class revisionlogic.COBAApp.

COBAApp is an interactive menu-based command-line version of COBA 2.0.

COBAApp() - Constructor for class revisionlogic.COBAApp

Creates a new default COBAApp.

COBAApplet - class cobaUI.COBAApplet.

COBAApplet is the COBA belief change graphical user interface.

COBAApplet() - Constructor for class cobaUI.COBAApplet

COBAApplet.AddCBFileHandler - class cobaUI.COBAApplet.AddCBFileHandler.

An action listener for the "Append to Consistency-based IC" menu item under the file menu.

COBAApplet.AddCBFileHandler() - Constructor for class cobaUI.COBAApplet.AddCBFileHandler

COBAApplet.AddContFileHandler - class cobaUI.COBAApplet.AddContFileHandler.

An action listener for the "Append to Contractor" menu item under the file menu.

COBAApplet.AddContFileHandler() - Constructor for class cobaUI.COBAApplet.AddContFileHandler

COBAApplet.AddEBFileHandler - class cobaUI.COBAApplet.AddEBFileHandler.

An action listener for the "Append to Entailment-based IC" menu item under the file menu.

COBAApplet.AddEBFileHandler() - Constructor for class cobaUI.COBAApplet.AddEBFileHandler

COBAApplet.AddKBFileHandler - class cobaUI.COBAApplet.AddKBFileHandler.

An action listener for the "Append to KB" menu item under the file menu.

COBAApplet.AddKBFileHandler() - Constructor for class cobaUI.COBAApplet.AddKBFileHandler

COBAApplet.AddRevFileHandler - class cobaUI.COBAApplet.AddRevFileHandler.

An action listener for the "Append to Revisor" menu item under the file menu.

COBAApplet.AddRevFileHandler() - Constructor for class cobaUI.COBAApplet.AddRevFileHandler

COBAApplet.AlgoItemHandler - class cobaUI.COBAApplet.AlgoItemHandler.

An action listener for the search algorithm menu items under the settings menu.

COBAApplet.AlgoItemHandler() - Constructor for class cobaUI.COBAApplet.AlgoItemHandler

COBAApplet.ChangeItemHandler - class cobaUI.COBAApplet.ChangeItemHandler.

An action listener for the change type menu items under the settings menu.

COBAApplet.ChangeItemHandler() - Constructor for class cobaUI.COBAApplet.ChangeItemHandler

COBAApplet.ConsCheckHandler - class cobaUI.COBAApplet.ConsCheckHandler.

An action listener for the "Consistency Check" menu item under the settings menu.

COBAApplet.ConsCheckHandler() - Constructor for class cobaUI.COBAApplet.ConsCheckHandler

COBAApplet.MergeItemHandler - class cobaUI.COBAApplet.MergeItemHandler.

An action listener for the merge type menu items under the settings menu.

COBAApplet.MergeItemHandler() - Constructor for class cobaUI.COBAApplet.MergeItemHandler

COBAApplet.NewCBFileHandler - class cobaUI.COBAApplet.NewCBFileHandler.

An action listener for the "New Consistency-based IC..." menu item under the file menu.

COBAApplet.NewCBFileHandler() - Constructor for class cobaUI.COBAApplet.NewCBFileHandler

COBAApplet.NewContFileHandler - class cobaUI.COBAApplet.NewContFileHandler.

An action listener for the "New Contractor..." menu item under the file menu.

COBAApplet.NewContFileHandler() - Constructor for class cobaUI.COBAApplet.NewContFileHandler

COBAApplet.NewEBFileHandler - class cobaUI.COBAApplet.NewEBFileHandler.

An action listener for the "New Entailment-based IC..." menu item under the file menu.

COBAApplet.NewEBFileHandler() - Constructor for class cobaUI.COBAApplet.NewEBFileHandler

COBAApplet.NewKBFileHandler - class cobaUI.COBAApplet.NewKBFileHandler.

An action listener for the "New KB..." menu item under the file menu.

COBAApplet.NewKBFileHandler() - Constructor for class cobaUI.COBAApplet.NewKBFileHandler

COBAApplet.NewRevFileHandler - class cobaUI.COBAApplet.NewRevFileHandler.

An action listener for the "New Revisor..." menu item under the file menu.

COBAApplet.NewRevFileHandler() - Constructor for class cobaUI.COBAApplet.NewRevFileHandler

COBAApplet.SaveAllHandler - class cobaUI.COBAApplet.SaveAllHandler.

An action listener for the "Save All" menu item under the file menu.

COBAApplet.SaveAllHandler() - Constructor for class cobaUI.COBAApplet.SaveAllHandler

COBAApplet.SaveAsCBHandler - class cobaUI.COBAApplet.SaveAsCBHandler.

An action listener for the "Save CB IC As" menu item under the file menu.

COBAApplet.SaveAsCBHandler() - Constructor for class cobaUI.COBAApplet.SaveAsCBHandler

COBAApplet.SaveAsCBHistHandler - class cobaUI.COBAApplet.SaveAsCBHistHandler.

An action listener for the "Save CB IC History As" menu item under the file menu.

COBAApplet.SaveAsCBHistHandler() - Constructor for class cobaUI.COBAApplet.SaveAsCBHistHandler

COBAApplet.SaveAsContHandler - class cobaUI.COBAApplet.SaveAsContHandler.

An action listener for the "Save Contractor As" menu item under the file menu.

COBAApplet.SaveAsContHandler() - Constructor for class cobaUI.COBAApplet.SaveAsContHandler

COBAApplet.SaveAsEBHandler - class cobaUI.COBAApplet.SaveAsEBHandler.

An action listener for the "Save EB IC As" menu item under the file menu.

COBAApplet.SaveAsEBHandler() - Constructor for class cobaUI.COBAApplet.SaveAsEBHandler

COBAApplet.SaveAsEBHistHandler - class cobaUI.COBAApplet.SaveAsEBHistHandler.

An action listener for the "Save EB IC History As" menu item under the file menu.

COBAApplet.SaveAsEBHistHandler() - Constructor for class cobaUI.COBAApplet.SaveAsEBHistHandler

COBAApplet.SaveAsKBHandler - class cobaUI.COBAApplet.SaveAsKBHandler.

An action listener for the "Save KB As" menu item under the file menu.

COBAApplet.SaveAsKBHandler() - Constructor for class cobaUI.COBAApplet.SaveAsKBHandler

COBAApplet.SaveAsKBHistHandler - class cobaUI.COBAApplet.SaveAsKBHistHandler.

An action listener for the "Save KB History As" menu item under the file menu.

COBAApplet.SaveAsKBHistHandler() - Constructor for class cobaUI.COBAApplet.SaveAsKBHistHandler

COBAApplet.SaveAsRevHandler - class cobaUI.COBAApplet.SaveAsRevHandler.

An action listener for the "Save Revisor As" menu item under the file menu.

COBAApplet.SaveAsRevHandler() - Constructor for class cobaUI.COBAApplet.SaveAsRevHandler

COBAApplet.SaveCBHandler - class cobaUI.COBAApplet.SaveCBHandler.

An action listener for the "Save CB IC" menu item under the file menu.

COBAApplet.SaveCBHandler() - Constructor for class cobaUI.COBAApplet.SaveCBHandler

COBAApplet.SaveCBHistHandler - class cobaUI.COBAApplet.SaveCBHistHandler.

An action listener for the "Save CB IC History" menu item under the file menu.

COBAApplet.SaveCBHistHandler() - Constructor for class cobaUI.COBAApplet.SaveCBHistHandler

COBAApplet.SaveContHandler - class cobaUI.COBAApplet.SaveContHandler.

An action listener for the "Save Contractor" menu item under the file menu.

COBAApplet.SaveContHandler() - Constructor for class cobaUI.COBAApplet.SaveContHandler

COBAApplet.SaveEBHandler - class cobaUI.COBAApplet.SaveEBHandler.

An action listener for the "Save EB IC" menu item under the file menu.

COBAApplet.SaveEBHandler() - Constructor for class cobaUI.COBAApplet.SaveEBHandler

COBAApplet.SaveEBHistHandler - class cobaUI.COBAApplet.SaveEBHistHandler.

An action listener for the "Save EB IC History" menu item under the file menu.

COBAApplet.SaveEBHistHandler() - Constructor for class cobaUI.COBAApplet.SaveEBHistHandler

COBAApplet.SaveKBHandler - class cobaUI.COBAApplet.SaveKBHandler.

An action listener for the "Save KB" menu item under the file menu.

COBAApplet.SaveKBHandler() - Constructor for class cobaUI.COBAApplet.SaveKBHandler

COBAApplet.SaveKBHistHandler - class cobaUI.COBAApplet.SaveKBHistHandler.

An action listener for the "Save KB History" menu item under the file menu.

COBAApplet.SaveKBHistHandler() - Constructor for class cobaUI.COBAApplet.SaveKBHistHandler

COBAApplet.SaveRevHandler - class cobaUI.COBAApplet.SaveRevHandler.

An action listener for the "Save Revisor" menu item under the file menu.

COBAApplet.SaveRevHandler() - Constructor for class cobaUI.COBAApplet.SaveRevHandler

CONJ - Static variable in class revisionlogic.ISent

An int indicating the conjunction sentence type.

CONT - Static variable in class revisionlogic.ISent

An int indicating the contradiction sentence type.

Contractor - Variable in class cobaUI.MainPanel

The bottom centre panel in the middle section containing the contraction list.

Contractor - Static variable in class cobaUI.SentenceList

An int representing the Contractor type.

Contradiction - class revisionlogic.Contradiction.

Contradiction represents a contradiction.

Contradiction() - Constructor for class revisionlogic.Contradiction

ControlText - class cobaUI.ControlText.

ControlText is a panel with the current settings display and toggle buttons, an informative message in the event of a syntax or inconsistency error in the input, or a new KB in the preview list, and a button for executing a belief change scenario.

ControlText(COBAApplet, MainPanel) - Constructor for class cobaUI.ControlText

Constructs a new ControlText for the enclosing panel _parent contained in _parentApp.

ControlText.AlgoListener - class cobaUI.ControlText.AlgoListener.

An action listener for the button for switching between AllDetEQ1 and AllDetEQ2.

ControlText.AlgoListener() - Constructor for class cobaUI.ControlText.AlgoListener

ControlText.AllChangeListener - class cobaUI.ControlText.AllChangeListener.

An action listener for carrying out parallel change on a belief change scenario.

ControlText.AllChangeListener() - Constructor for class cobaUI.ControlText.AllChangeListener

ControlText.ChangesListener - class cobaUI.ControlText.ChangesListener.

An action listener for the button for switching between skeptical change and choice change.

ControlText.ChangesListener() - Constructor for class cobaUI.ControlText.ChangesListener

ControlText.ConsListener - class cobaUI.ControlText.ConsListener.

An action listener for the button for switching consistency check on and off.

ControlText.ConsListener() - Constructor for class cobaUI.ControlText.ConsListener

ControlText.MergeListener - class cobaUI.ControlText.MergeListener.

An action listener for the button for switching between default merge and projection merge.

ControlText.MergeListener() - Constructor for class cobaUI.ControlText.MergeListener

ccKB - Variable in class cobaUI.COBAApplet

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

change() - Method in class revisionlogic.BeliefChangeSzenario

Checks if there are inconsistencies among the parameters of this BeliefChangeScenario, executes this BeliefChangeScenario using the selected change type, search algorithm, and merge type, and finally returns the resultant knowledge base.

changeItems - Variable in class cobaUI.COBAApplet

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

clear() - Method in class revisionlogic.EquivalenceSet

Clears the set of equivalences of this EquivalenceSet.

clone() - Method in class revisionlogic.Atom

Creates and returns a clone of this Atom.

clone() - Method in class revisionlogic.BinaryCompound

Creates and returns a clone of this BinaryCompound.

clone() - Method in class revisionlogic.Contradiction

Returns a reference to this Contradiction.

clone() - Method in class revisionlogic.ISent

Creates and returns a clone of this sentence.

clone() - Method in class revisionlogic.MultipleCompound

Creates and returns a clone of this MultipleCompound.

clone() - Method in class revisionlogic.Negation

Creates and returns a clone of this Negation.

clone() - Method in class revisionlogic.Tautology

Returns a reference to this Tautology.

cnf - Variable in class cobaUI.ListSent

The cnf string representation of the underlying ISent.

cobaUI - package cobaUI

conjunctionsIn() - Method in class revisionlogic.Atom

Returns a reference to this Atom, as the dnf transformation of an atom remains the same as the atom.

conjunctionsIn() - Method in class revisionlogic.BinaryCompound

Returns a reference to this BinaryCompound, as a BinaryCompound has no outer conjunction sign to re-distribute.

conjunctionsIn() - Method in class revisionlogic.Contradiction

Returns a reference to this Contradiction, as the dnf transformation of a contradiction F remains the same as the contradiction.

conjunctionsIn() - Method in class revisionlogic.ISent

Returns a reference to an equivalent ISent sentence, in which the outer conjunction signs are moved inside in the DNF transformation.

conjunctionsIn() - Method in class revisionlogic.MultipleCompound

Returns a reference to an equivalent ISent sentence, in which, for each operand, its outer conjunction signs are moved inside in the DNF transformation.

conjunctionsIn() - Method in class revisionlogic.Negation

Returns a reference to this Negation, as this method is invoked only after (1) the implications and the biconditionals have been replaced with and, or, and not, and (2) the negations signs have been re-distributed to the literals.

conjunctionsIn() - Method in class revisionlogic.Tautology

Returns a reference to this Tautology, as the dnf transformation of a tautology T remains the same as the tautology.

consCheck - Variable in class cobaUI.COBAApplet

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

consCheckOn - Variable in class cobaUI.COBAApplet

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

contFile - Variable in class revisionlogic.COBAApp

The path of the current contraction input file.

containsIllegalLiterals(ISent) - Static method in class revisionlogic.SentenceParser

Checks all the literals in the sentence s to see if any contains logical or reserved symbols.

contentsChanged(ListDataEvent) - Method in class cobaUI.HistoryPanel.MyListDataListener

contentsChanged(ListDataEvent) - Method in class cobaUI.PreviewList.MyListDataListener

contentsChanged(ListDataEvent) - Method in class cobaUI.SentenceList.MyListDataListener

ctSettings - Variable in class cobaUI.MainPanel

The bottom panel with settings information and the button for carrying out a belief change.

D

DECISION_PENDING - Static variable in class cobaUI.ControlText

An int indicating the decision pending type of message.

DEFAULT - Static variable in class cobaUI.ListSent

An int representing the default view format for sentences.

DIS - Static variable in class revisionlogic.ISent

An int indicating the disjunction sentence type.

DNF - Static variable in class cobaUI.ListSent

An int representing the dnf view format for sentences.

deactivateBeforeDecision() - Method in class cobaUI.COBAApplet

Deactivates the three panels and the menu items for importing a new file into the KB list, the revision list, the contraction list, the EB IC list, or the CB IC list, pending the user's decision to reject or commit the new KB.

deactivateBeforeDecision() - Method in class cobaUI.HistoryPanel

Disables all revert buttons pending the user's decision to reject or commit the new KB.

deactivateBeforeDecision() - Method in class cobaUI.ICPanel

Deactivates the two lists, then entry field, and the two add buttons pending the user's decision to reject or commit the new KB.

deactivateBeforeDecision() - Method in class cobaUI.MainPanel

Deactivates the KB list, the revision list, the contraction list, and the top panel pending the user's decision to reject or commit the new KB.

deactivateBeforeDecision() - Method in class cobaUI.SentenceEditor

Deactivates the three add buttons and the entry field pending the user's decision to reject or commit the new KB.

deactivateBeforeDecision() - Method in class cobaUI.SentenceList

Deactivates the remove and clear-all buttons pending the user's decision to reject or commit the new KB.

def - Variable in class cobaUI.ListSent

The default string representation of the underlying ISent.

disjunctionsIn() - Method in class revisionlogic.Atom

Returns a reference to this Atom, as the cnf transformation of an atom remains the same as the atom.

disjunctionsIn() - Method in class revisionlogic.BinaryCompound

Returns a reference to this BinaryCompound, as a BinaryCompound has no outer disjunction sign to re-distribute.

disjunctionsIn() - Method in class revisionlogic.Contradiction

Returns a reference to this Contradiction, as the cnf transformation of a contradiction F remains the same as the contradiction.

disjunctionsIn() - Method in class revisionlogic.ISent

Returns a reference to an equivalent ISent sentence, in which the outer disjunction signs are moved inside in the CNF transformation.

disjunctionsIn() - Method in class revisionlogic.MultipleCompound

Returns a reference to an equivalent ISent sentence, in which, for each operand, its outer disjunction signs are moved inside in the CNF transformation.

disjunctionsIn() - Method in class revisionlogic.Negation

Returns a reference to this Negation, as this method is invoked only after (1) the implications and the biconditionals have been replaced with and, or, and not, and (2) the negations signs have been re-distributed to the literals.

disjunctionsIn() - Method in class revisionlogic.Tautology

Returns a reference to this Tautology, as the cnf transformation of a tautology T remains the same as the tautology.

dnf - Variable in class cobaUI.ListSent

The dnf string representation of the underlying ISent.

doConsCheck - Variable in class cobaUI.COBAApplet

The "Perform Consistency Check" submenu under the settings menu.

E

EB - Static variable in class cobaUI.SentenceList

An int representing the EB IC type.

EBChangeModel - Variable in class cobaUI.HistoryPanel

The list model managing the corresponding EB IC changes oldEBChange.

EBList - Variable in class cobaUI.ICPanel

The list of entailment-based integrity constraints.

EBModel - Variable in class cobaUI.HistoryPanel

The list model managing the EB IC snapshots oldEB.

EquivalenceSet - class revisionlogic.EquivalenceSet.

EquivalenceSet represents a set of equivalences or biconditionals.

EquivalenceSet() - Constructor for class revisionlogic.EquivalenceSet

Creates a new EquivalenceSet.

emptySet - Static variable in class revisionlogic.BeliefChangeSzenario

A reference to an empty HashSet.

emptyVector - Static variable in class revisionlogic.BeliefChangeSzenario

A reference to an empty Vector.

equals(Object) - Method in class revisionlogic.Atom

Checks if this Atom equals s.

equals(Object) - Method in class revisionlogic.BinaryCompound

Checks if this BinaryCompound equals s.

equals(Object) - Method in class revisionlogic.Contradiction

Checks if this Contradiction equals s.

equals(Object) - Method in class revisionlogic.ISent

Checks if this sentence equals s.

equals(Object) - Method in class revisionlogic.MultipleCompound

Checks if this MultipleCompound equals s.

equals(Object) - Method in class revisionlogic.Negation

Checks if this Negation equals s.

equals(Object) - Method in class revisionlogic.Tautology

Checks if this Tautology equals s.

execButton - Variable in class cobaUI.ControlText

The button for executing a belief change scenario.

F

fileTypes - Static variable in class revisionlogic.COBAApp

The strings indicating whether the input file is used as revisions or as entailment-based integrity constraints.

G

getAtoms() - Method in class revisionlogic.Atom

Returns a set consisting of the literal of this Atom.

getAtoms() - Method in class revisionlogic.BinaryCompound

Returns a set consisting of the literals of this BinaryCompound.

getAtoms() - Method in class revisionlogic.Contradiction

Returns the empty set of literals of this Contradiction.

getAtoms() - Method in class revisionlogic.ISent

Returns a set consisting of the literals of this sentence.

getAtoms() - Method in class revisionlogic.MultipleCompound

Returns a set consisting of the literals of this MultipleCompound.

getAtoms() - Method in class revisionlogic.Negation

Returns a set consisting of the literals of this Negation.

getAtoms() - Method in class revisionlogic.Tautology

Returns the empty set of literals of this Tautology.

getCBICsFromFile(String) - Static method in class revisionlogic.SentenceParser

Creates and returns a vector of consistency-based integrity constraints (CB IC) read from the text file sFilename.

getCNF() - Method in class revisionlogic.Atom

Returns a reference to this Atom, as the cnf transformation of an atom remains the same as the atom.

getCNF() - Method in class revisionlogic.Contradiction

Returns a reference to this Contradiction, as the cnf transformation of a contradiction F remains the same as the contradiction.

getCNF() - Method in class revisionlogic.ISent

Returns a reference to an equivalence ISent sentence after the cnf transformation.

getCNF() - Method in class revisionlogic.Tautology

Returns a reference to this Tautology, as the cnf transformation of a tautology T remains the same as the tautology.

getCNFUI() - Method in class revisionlogic.Atom

Returns a reference to this Atom, as the cnf transformation of an atom remains the same as the atom.

getCNFUI() - Method in class revisionlogic.Contradiction

Returns a reference to this Contradiction, as the cnf transformation of a contradiction F remains the same as the contradiction.

getCNFUI() - Method in class revisionlogic.ISent

Returns a reference to an equivalence ISent sentence after the cnf transformation.

getCNFUI() - Method in class revisionlogic.Tautology

Returns a reference to this Tautology, as the cnf transformation of a tautology T remains the same as the tautology.

getClauses() - Method in class revisionlogic.MultipleCompound

Returns the operands.

getConjunctionFromFile(String, String) - Static method in class revisionlogic.SentenceParser

Creates and returns a conjunction of revision sentences or a conjunction of entailment-based integrity constraints (EB IC) in the text file sFilename.

getContractResult(ISent, Vector, Vector) - Static method in class revisionlogic.SentenceParser

Returns and creates from AllKB an ISent sentence in which the renaming of literals based on the common atoms CA and the equivalence set literals EQLit is applied according to the renaming algorithm following contractions.

getContractionsFromFile(String) - Static method in class revisionlogic.SentenceParser

Creates and returns a vector of contraction sentences read from the text file sFilename.

getDIMACSFormat(boolean) - Method in class revisionlogic.ISent

Returns the DIMACS string representation of this sentence as an input to the external satisfiability solver.

getDNFUI() - Method in class revisionlogic.Atom

Returns a reference to this Atom, as the dnf transformation of an atom remains the same as the atom.

getDNFUI() - Method in class revisionlogic.Contradiction

Returns a reference to this Contradiction, as the dnf transformation of a contradiction F remains the same as the contradiction.

getDNFUI() - Method in class revisionlogic.ISent

Returns a reference to an equivalence ISent sentence after the dnf transformation.

getDNFUI() - Method in class revisionlogic.Tautology

Returns a reference to this Tautology, as the dnf transformation of a tautology T remains the same as the tautology.

getDepth() - Method in class revisionlogic.Atom

Returns the depth of this Atom.

getDepth() - Method in class revisionlogic.BinaryCompound

Returns the depth (levels of nesting) of this BinaryCompound.

getDepth() - Method in class revisionlogic.Contradiction

Returns the depth of this Contradiction.

getDepth() - Method in class revisionlogic.ISent

Returns the depth (levels of nesting) of this sentence.

getDepth() - Method in class revisionlogic.MultipleCompound

Returns the depth (levels of nesting) of this MultipleCompound.

getDepth() - Method in class revisionlogic.Negation

Returns the depth (levels of nesting) of this Negation.

getDepth() - Method in class revisionlogic.Tautology

Returns the depth of this Tautology.

getEQSet(BitSet) - Method in class revisionlogic.EquivalenceSet

Returns the corresponding set of equivalences for the BitSet bs.

getKBsFromFile(String) - Static method in class revisionlogic.SentenceParser

Creates and returns a vector of knowledge bases consisting of sentences in the text file sFilename.

getLabel() - Method in class revisionlogic.Atom

Returns the string representation of this Atom.

getLabel() - Method in class revisionlogic.Contradiction

Returns the string representation of this Contradiction.

getLabel() - Method in class revisionlogic.ISent

Returns the string representation of this sentence.

getLabel() - Method in class revisionlogic.Tautology

Returns the string representation of this Tautology.

getLabelSB() - Method in class revisionlogic.Atom

Returns the string buffer holding the literal of this Atom.

getLabelSB() - Method in class revisionlogic.BinaryCompound

Returns a string buffer holding the string representation of this BinaryCompound.

getLabelSB() - Method in class revisionlogic.Contradiction

Returns null as this method is never invoked on this Contradiction but implemented only to satisfy the abstract specification of ISent.

getLabelSB() - Method in class revisionlogic.ISent

Returns a string buffer holding the string representation of this sentence.

getLabelSB() - Method in class revisionlogic.MultipleCompound

Returns a string buffer holding the string representation of this MultipleCompound.

getLabelSB() - Method in class revisionlogic.Negation

Returns a string buffer holding a negation sign and the string representation of the negated sentence.

getLabelSB() - Method in class revisionlogic.Tautology

Returns null as this method is never invoked on this Tautology but implemented only to satisfy the abstract specification of ISent.

getLiteralsFromEQSet(BitSet) - Method in class revisionlogic.EquivalenceSet

Returns the corresponding set of literals for the BitSet bs.

getNumberOfEquivalences() - Method in class revisionlogic.EquivalenceSet

Returns the number of equivalences of this EquivalenceSet.

getSubSentence(int) - Method in class revisionlogic.MultipleCompound

Returns the operand at index i.

getSubSentence() - Method in class revisionlogic.Negation

Returns the negated sentence.

getSubSentence1() - Method in class revisionlogic.BinaryCompound

Returns the left operand.

getSubSentence2() - Method in class revisionlogic.BinaryCompound

Returns the right operand.

getType() - Method in class revisionlogic.Atom

Returns the type of this Atom.

getType() - Method in class revisionlogic.BinaryCompound

Returns the type of this BinaryCompound.

getType() - Method in class revisionlogic.Contradiction

Returns the type of this Contradiction.

getType() - Method in class revisionlogic.ISent

Returns the type of this sentence.

getType() - Method in class revisionlogic.MultipleCompound

Returns the type of this MultipleCompound.

getType() - Method in class revisionlogic.Negation

Returns the type of this Negation.

getType() - Method in class revisionlogic.Tautology

Returns the type of this Tautology.

H

HSet - class revisionlogic.HSet.

Class HSet is a more specific HashSet that performs further checking when adding an element.

HSet(int) - Constructor for class revisionlogic.HSet

Constructs a new HSet of type _type clauses.

H_OFFSET - Static variable in class cobaUI.COBAApplet

An int indicating the horizontal gap used in spacing UI components.

HistoryPanel - class cobaUI.HistoryPanel.

HistoryPanel is a panel displaying (1) the old KB and change snapshots, (2) the old Entailment-based Integrity Constraint (EB IC) and change snapshots, and (3) old Consistency-based Integrity Constraint (CB IC) and change snapshots, as well as buttons for reverting to a selected snapshot.

HistoryPanel(COBAApplet) - Constructor for class cobaUI.HistoryPanel

Constructs a new HistoryPanel for the enclosing applet _parent and lays out all UI components.

HistoryPanel.CBRevertListener - class cobaUI.HistoryPanel.CBRevertListener.

An action listener which confirms the user's decision to revert to an CB IC snapshot, logs the current consistency-based integrity constraints (CB IC), and replaces the CB IC with the selected snapshot.

HistoryPanel.CBRevertListener() - Constructor for class cobaUI.HistoryPanel.CBRevertListener

HistoryPanel.EBRevertListener - class cobaUI.HistoryPanel.EBRevertListener.

An action listener which confirms the user's decision to revert to an EB IC snapshot, logs the current entailment-based integrity constraints (EB IC), and replaces the EB IC with the selected snapshot.

HistoryPanel.EBRevertListener() - Constructor for class cobaUI.HistoryPanel.EBRevertListener

HistoryPanel.KBRevertListener - class cobaUI.HistoryPanel.KBRevertListener.

An action listener which confirms the user's decision to revert to a KB snapshot, logs the current knowledge base(s) (KB), and replaces the KB with the selected snapshot.

HistoryPanel.KBRevertListener() - Constructor for class cobaUI.HistoryPanel.KBRevertListener

HistoryPanel.MyListDataListener - class cobaUI.HistoryPanel.MyListDataListener.

A list data listener which enables the appropriate "save" menu item when the list contents change.

HistoryPanel.MyListDataListener(JMenuItem) - Constructor for class cobaUI.HistoryPanel.MyListDataListener

hashCode() - Method in class revisionlogic.Atom

Returns the hash code of this Atom based on its literal.

hashCode() - Method in class revisionlogic.BinaryCompound

Returns the hash code of this BinaryCompound based on its two operands.

hashCode() - Method in class revisionlogic.MultipleCompound

Returns the hash code of this MultipleCompound based on its operands.

hashCode() - Method in class revisionlogic.Negation

Returns the hash code of this Negation based on its negated sentence.

historyPanel - Variable in class cobaUI.COBAApplet

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

I

ICPanel - class cobaUI.ICPanel.

ICPanel is a panel that contains an entry field for adding integrity constraints, and two lists: one for the entailment-based integrity constraints (EB IC), and the other for the consistency-based integrity constraints (CB IC).

ICPanel(COBAApplet) - Constructor for class cobaUI.ICPanel

Constructs a new ICPanel for the enclosing applet _parent and completes the layout of its UI components.

ICPanel.CBAddListener - class cobaUI.ICPanel.CBAddListener.

An action listener for adding a consistency-based integrity constraint (CB IC) to the CB IC list.

ICPanel.CBAddListener() - Constructor for class cobaUI.ICPanel.CBAddListener

ICPanel.EBAddListener - class cobaUI.ICPanel.EBAddListener.

An action listener for adding an entailment-based integrity constraint (EB IC) to the EB IC list.

ICPanel.EBAddListener() - Constructor for class cobaUI.ICPanel.EBAddListener

IMP - Static variable in class revisionlogic.ISent

An int indicating the implication sentence type.

INCONSISTENT_ENTRY - Static variable in class cobaUI.ControlText

An int indicating the inconsistency error type of message.

ISent - class revisionlogic.ISent.

ISent is an abstract class with a specific interface and some default implementations for sentences.

ISent() - Constructor for class revisionlogic.ISent

InconsistencyException - exception revisionlogic.InconsistencyException.

InconsistencyException is an inconsistency error message.

InconsistencyException(String) - Constructor for class revisionlogic.InconsistencyException

Constructs a new InconsistencyException.

icPanel - Variable in class cobaUI.COBAApplet

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

implicationsOut() - Method in class revisionlogic.Atom

Returns a reference to this Atom, as the cnf and dnf transformations of an atom remain the same as the atom.

implicationsOut() - Method in class revisionlogic.BinaryCompound

Returns a reference to an equivalent ISent sentence, in which the implication has been replaced with disjunctions, and the biconditional with a conjunction of two disjunctions.

implicationsOut() - Method in class revisionlogic.Contradiction

Returns a reference to this Contradiction, as the cnf and dnf transformations of a contradiction F remain the same as the contradiction.

implicationsOut() - Method in class revisionlogic.ISent

Returns a reference to an equivalent ISent sentence, in which, all the implications have been replaced with disjunctions, and all the biconditionals with a conjunction of two disjunctions.

implicationsOut() - Method in class revisionlogic.MultipleCompound

Returns a reference to an equivalent ISent sentence, in which, for each operand, its implications have been replaced with disjunctions, and its biconditionals with a conjunction of two disjunctions.

implicationsOut() - Method in class revisionlogic.Negation

Returns a reference to an equivalent ISent sentence, in which the negated sentence has all its implications and biconditionals replaced with and, or, and not.

implicationsOut() - Method in class revisionlogic.Tautology

Returns a reference to this Tautology, as the cnf and dnf transformations of a tautology T remain the same as the tautology.

importingKB - Variable in class cobaUI.COBAApplet

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

init() - Method in class cobaUI.COBAApplet

Initializes all the UI components of the COBAApplet.

intervalAdded(ListDataEvent) - Method in class cobaUI.HistoryPanel.MyListDataListener

intervalAdded(ListDataEvent) - Method in class cobaUI.PreviewList.MyListDataListener

intervalAdded(ListDataEvent) - Method in class cobaUI.SentenceList.MyListDataListener

intervalRemoved(ListDataEvent) - Method in class cobaUI.HistoryPanel.MyListDataListener

intervalRemoved(ListDataEvent) - Method in class cobaUI.PreviewList.MyListDataListener

intervalRemoved(ListDataEvent) - Method in class cobaUI.SentenceList.MyListDataListener

isConsistent() - Method in class revisionlogic.Atom

Returns true to indicate this Atom is itself consistent.

isConsistent() - Method in class revisionlogic.Contradiction

Returns false to indicate this Contradiction is itself inconsistent.

isConsistent() - Method in class revisionlogic.ISent

Checks if this sentence is consistent and satisfiable.

isConsistent(ISent) - Method in class revisionlogic.ISent

Checks if this sentence is consistent with s0.

isConsistent(Vector) - Method in class revisionlogic.ISent

Checks if this sentence is consistent with the conjunction of the sentences in v.

isConsistent() - Method in class revisionlogic.Tautology

Returns true to indicate this Tautology is itself consistent.

isInconsistentSList(ISent) - Static method in class revisionlogic.ISent

Checks if the CNF sentence cnfForm is consistent and satisfiable.

isprConsistent() - Method in class revisionlogic.ISent

Checks if this CNF sentence is consistent and satisfiable.

K

KB - Variable in class cobaUI.MainPanel

The left panel in the middle section containing the KB list.

KB - Static variable in class cobaUI.SentenceList

An int representing the KB type.

KBBox - Variable in class cobaUI.SentenceEditor

The combo box listing the numbers of the KBs to which the user can choose to add a sentence.

KBChangeModel - Variable in class cobaUI.HistoryPanel

The list model managing the corresponding KB changes oldKBChange.

KBModel - Variable in class cobaUI.HistoryPanel

The list model managing the KB snapshots oldKB.

kbFile - Variable in class revisionlogic.COBAApp

The path of the current KB input file.

L

LSVec - Variable in class cobaUI.SentenceList

The vector of the ListSent objects in this SentenceList.

ListSent - class cobaUI.ListSent.

ListSent is a sentence wrapper.

ListSent(ISent, int, JPanel) - Constructor for class cobaUI.ListSent

Constructs a new ListSent for the enclosing list _parent.

ListSent(ISent, String, int, JPanel) - Constructor for class cobaUI.ListSent

Constructs a new ListSent for the enclosing list _parent.

listModel - Variable in class cobaUI.SentenceList

The list model for specifying the listener for the data change in JList Items.

listNum - Variable in class cobaUI.ListSent

A byte indicating the index of the enclosing list.

logCBRemoval(Vector, String) - Method in class cobaUI.HistoryPanel

Logs the current consistency-based integrity constraints (CB IC) in lsCB and the removed sentence removed to the CB IC snapshot list and to the CB IC change history.

logCBReplacement(Vector, String) - Method in class cobaUI.HistoryPanel

Logs the consistency-based integrity constraints (CB IC) in lsCB and the replacing file name fileName to the CB snapshot list and to the CB IC change history.

logCommit(Vector, Vector, Vector) - Method in class cobaUI.HistoryPanel

Logs the current knowledge base(s), revision(s), contraction(s), links to the entailment-based and the consistency-based integrity constraint to the KB snapshot list and to KB change history.

logEBRemoval(Vector, String) - Method in class cobaUI.HistoryPanel

Logs the current entailment-based integrity constraints (EB IC) in lsEB and the removed sentence removed to the EB IC snapshot list and to the EB IC change history.

logEBReplacement(Vector, String) - Method in class cobaUI.HistoryPanel

Logs the entailment-based integrity constraints (EB IC) in lsEB and the replacing file name fileName to the EB snapshot list and to the EB IC change history.

logKBRemoval(Vector, String) - Method in class cobaUI.HistoryPanel

Logs the current knowledge base(s) in lsKB and the removed sentence removed to the KB snapshot list and to the KB change history.

logKBReplacement(Vector, String) - Method in class cobaUI.HistoryPanel

Logs the current knowledge base(s) in lsKB and the replacing file name fileName to the KB snapshot list and to the KB change history.

M

MainPanel - class cobaUI.MainPanel.

MainPanel is the main belief change interface of the COBA applet.

MainPanel(COBAApplet) - Constructor for class cobaUI.MainPanel

Constructs a new MainPanel for the enclosing applet _parent.

MultipleCompound - class revisionlogic.MultipleCompound.

MultipleCompound represents a disjunction or a conjunction with at least two operands.

m - Static variable in class revisionlogic.SentenceParser

The string pattern matcher for reading the KB caption from the KB input files.

m_Equivalences - Variable in class revisionlogic.EquivalenceSet

The set of equivalences or biconditionals.

m_LabelStr - Variable in class revisionlogic.Atom

A reference to the literal string.

main(String[]) - Static method in class revisionlogic.COBAApp

Provides the initial entry point for the command-line menu version of COBA.

mainPanel - Variable in class cobaUI.COBAApplet

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

makeBiImp(ISent, ISent) - Static method in class revisionlogic.BinaryCompound

Returns a reference to an ISent biconditional with left operand s1 and right operand s2.

makeConj(ISent, ISent) - Static method in class revisionlogic.MultipleCompound

Returns a reference to an ISent conjunction of sentences s1 and s2.

makeConj(Collection) - Static method in class revisionlogic.MultipleCompound

Returns a reference to an ISent conjunction of sentences in sentSet.

makeDis(ISent, ISent) - Static method in class revisionlogic.MultipleCompound

Returns a reference to an ISent disjunction of sentences s1 and s2.

makeDis(Collection) - Static method in class revisionlogic.MultipleCompound

Returns a reference to an ISent disjunction of sentences in sentSet.

makeImp(ISent, ISent) - Static method in class revisionlogic.BinaryCompound

Returns a reference to an ISent implication with premise s1 and conclusion s2.

makeNeg(ISent) - Static method in class revisionlogic.Negation

Returns a reference to an ISent as a result of negating the sentence s.

mergeItems - Variable in class cobaUI.COBAApplet

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

N

NEG - Static variable in class revisionlogic.ISent

An int indicating the negation sentence type.

Negation - class revisionlogic.Negation.

Negation represents a negation.

NewKB - Variable in class cobaUI.MainPanel

The right panel in the middle section containing the new KB preview list.

negationsIn() - Method in class revisionlogic.Atom

Returns a reference to this Atom, as the cnf and dnf transformations of an atom remain the same as the atom.

negationsIn() - Method in class revisionlogic.BinaryCompound

Returns a reference to this BinaryCompound, as a BinaryCompound has no outer negation sign to re-distribute.

negationsIn() - Method in class revisionlogic.Contradiction

Returns a reference to this Contradiction, as the cnf and dnf transformations of a contradiction F remain the same as the contradiction.

negationsIn() - Method in class revisionlogic.ISent

Returns a reference to an equivalent ISent sentence, in which the negation signs appear only on the literals.

negationsIn() - Method in class revisionlogic.MultipleCompound

Returns a reference to an equivalent ISent sentence, in which, for each operand, its negation signs appear only on the literals.

negationsIn() - Method in class revisionlogic.Negation

Returns a reference to an equivalent ISent sentence, in which negation signs appear only on the literals.

negationsIn() - Method in class revisionlogic.Tautology

Returns a reference to this Tautology, as the cnf and dnf transformations of a tautology T remain the same as the tautology.

P

ParentApplet - Variable in class cobaUI.ControlText

A reference to the enclosing applet.

ParentApplet - Variable in class cobaUI.HistoryPanel

A reference to the enclosing applet.

ParentApplet - Variable in class cobaUI.ICPanel

A reference to the enclosing applet.

ParentApplet - Variable in class cobaUI.MainPanel

A reference to the enclosing applet.

ParentApplet - Variable in class cobaUI.PreviewList

A reference to the enclosing applet.

ParentApplet - Variable in class cobaUI.SentenceEditor

A reference to the enclosing applet.

ParentApplet - Variable in class cobaUI.SentenceList

A reference to the enclosing applet.

ParentPanel - Variable in class cobaUI.ControlText

A reference to the enclosing panel.

ParentPanel - Variable in class cobaUI.PreviewList

A reference to the enclosing panel.

ParentPanel - Variable in class cobaUI.SentenceEditor

A reference to the enclosing panel.

PreviewList - class cobaUI.PreviewList.

PreviewList is a panel with the new KB preview list, a reject button and a commit button for rejecting or committing the new KB.

PreviewList(MainPanel, COBAApplet) - Constructor for class cobaUI.PreviewList

Constructs a new PreviewList for enclosing panel _parent contained in _parentApp.

PreviewList.CNFListener - class cobaUI.PreviewList.CNFListener.

An action listener for the cnf radio button, which displays the new KB in cnf format.

PreviewList.CNFListener() - Constructor for class cobaUI.PreviewList.CNFListener

PreviewList.CommitListener - class cobaUI.PreviewList.CommitListener.

An action listener for committing the new KB.

PreviewList.CommitListener() - Constructor for class cobaUI.PreviewList.CommitListener

PreviewList.DNFListener - class cobaUI.PreviewList.DNFListener.

An action listener for the dnf radio button, which displays the new KB in dnf format.

PreviewList.DNFListener() - Constructor for class cobaUI.PreviewList.DNFListener

PreviewList.DefaultListener - class cobaUI.PreviewList.DefaultListener.

An action listener for the default radio button, which displays the new KB in default format.

PreviewList.DefaultListener() - Constructor for class cobaUI.PreviewList.DefaultListener

PreviewList.MyListDataListener - class cobaUI.PreviewList.MyListDataListener.

A list data listener that enables the reject and commit buttons only when there is a new KB for preview.

PreviewList.MyListDataListener() - Constructor for class cobaUI.PreviewList.MyListDataListener

PreviewList.RejectListener - class cobaUI.PreviewList.RejectListener.

An action listener for rejecting the new KB.

PreviewList.RejectListener() - Constructor for class cobaUI.PreviewList.RejectListener

paintComponent(Graphics) - Method in class cobaUI.ControlText

Resizes, repositions, and redraws all UI components of this ControlText.

paintComponent(Graphics) - Method in class cobaUI.MainPanel

Resizes, repositions, and redraws all panels within this MainPanel.

paintComponent(Graphics) - Method in class cobaUI.PreviewList

Resizes, repositions, and redraws all UI components of this PreviewList.

paintComponent(Graphics) - Method in class cobaUI.SentenceEditor

Resizes, repositions, and redraws all UI components of this SentenceEditor.

paintComponent(Graphics) - Method in class cobaUI.SentenceList

Resizes, repositions, and redraws all UI components of this SentenceList.

pairDownToMaximal(Vector) - Static method in class revisionlogic.EquivalenceSet

Returns all of the maximal elements (Vectors) of v.

parsePrimeString(String, Collection, int) - Static method in class revisionlogic.SentenceParser

Parses the string s and returns an ISent sentence in which the literals also appearing in the Vector v are either numbered if n is a positive integer or primed otherwise.

parseString(String) - Static method in class revisionlogic.SentenceParser

Parses the string s and returns the corresonponding ISent sentence.

parseUnNumberString(String, Vector) - Static method in class revisionlogic.SentenceParser

Parses the string s and returns an ISent sentence in which the numbered literals also appearing in the Vector EqLit are primed, and the numbered literals not in EqLit are negated and primed.

parseUnprimeString(String, Vector, Vector) - Static method in class revisionlogic.SentenceParser

Parses the string s and returns an ISent sentence in which for each primed literal, it is either negated and unprimed if it appears in Vector CA and not in Vector EqLit, or simply unprimed otherwise.

previewNewKB() - Method in class cobaUI.ControlText

Takes the KB(s), revision(s) and contraction(s), the CB IC(s), and the EB IC(s), performs merging, revision, contraction, or a combination thereof, and produces a new KB in the new KB preview list.

R

Revisor - Variable in class cobaUI.MainPanel

The top centre panel in the middle section containing the revision list.

Revisor - Static variable in class cobaUI.SentenceList

An int representing the Revisor type.

refStatic - Variable in class revisionlogic.HSet

A reference to a tautology for disjunctive clauses, or to a contradiction for conjunctive clauses.

removeAll() - Method in class cobaUI.PreviewList

Removes the new KB from the list and resets result to null.

removeAll() - Method in class cobaUI.SentenceList

Removes all the sentences from the list, clears the LSVec and the SVec, and updates SentenceEditor's KBBox accordingly.

removeFromList(ListSent) - Method in class cobaUI.SentenceList

Removes s from LSVec and the list, removes the underlying ISent in s from SVec, and logs the removal if this SentenceList is of either the KB, the EB, or the CB type.

revFile - Variable in class revisionlogic.COBAApp

The path of the current revision input file.

revisionlogic - package revisionlogic

S

SVec - Variable in class cobaUI.SentenceList

The vector of the corresponding ISent objects in this SentenceList.

SYNTAX_ERROR - Static variable in class cobaUI.ControlText

An int indicating the syntax error type of message.

SentenceEditor - class cobaUI.SentenceEditor.

SentenceEditor is a panel with an entry field and buttons for adding sentences to the KB list, the revision list, and the contraction list.

SentenceEditor(MainPanel, COBAApplet) - Constructor for class cobaUI.SentenceEditor

Constructs a new SentenceEditor for the enclosing panel _parent contained in _parentApp.

SentenceEditor.ContAddListener - class cobaUI.SentenceEditor.ContAddListener.

An action listener for adding a sentence to the contraction list.

SentenceEditor.ContAddListener() - Constructor for class cobaUI.SentenceEditor.ContAddListener

SentenceEditor.KBAddListener - class cobaUI.SentenceEditor.KBAddListener.

An action listener for adding a sentence to the selected KB.

SentenceEditor.KBAddListener() - Constructor for class cobaUI.SentenceEditor.KBAddListener

SentenceEditor.RevAddListener - class cobaUI.SentenceEditor.RevAddListener.

An action listener for adding a sentence to the revision list.

SentenceEditor.RevAddListener() - Constructor for class cobaUI.SentenceEditor.RevAddListener

SentenceList - class cobaUI.SentenceList.

SentenceList is a general wrapper for the KB/Revision/Contraction/Entailment-based Integrity Constraint (EB IC)/ Consistency-based Integrity Constraint (CB IC) sentence list.

SentenceList(int, COBAApplet) - Constructor for class cobaUI.SentenceList

Constructs a new SentenceList of type _type for the enclosing applet _parentApp.

SentenceList.CNFListener - class cobaUI.SentenceList.CNFListener.

An action listener for the cnf radio button, which displays the sentences in cnf format.

SentenceList.CNFListener() - Constructor for class cobaUI.SentenceList.CNFListener

SentenceList.ClearAllListener - class cobaUI.SentenceList.ClearAllListener.

An action listener for erasing all sentences from the list and logging the removals in the history panel.

SentenceList.ClearAllListener() - Constructor for class cobaUI.SentenceList.ClearAllListener

SentenceList.DNFListener - class cobaUI.SentenceList.DNFListener.

An action listener for the dnf radio button, which displays the sentences in dnf format.

SentenceList.DNFListener() - Constructor for class cobaUI.SentenceList.DNFListener

SentenceList.DefaultListener - class cobaUI.SentenceList.DefaultListener.

An action listener for the default radio button, which displays the sentences in default format.

SentenceList.DefaultListener() - Constructor for class cobaUI.SentenceList.DefaultListener

SentenceList.MyListDataListener - class cobaUI.SentenceList.MyListDataListener.

A list data listener which (1) enables the remove and clear-all buttons only if the list is non-empty, (2) enables the appropriate "save" menu item when the list contents change, and (3) enables the "Get Parallel Change" button only when there are sentences to be merged, revised, and/or contracted.

SentenceList.MyListDataListener(JMenuItem) - Constructor for class cobaUI.SentenceList.MyListDataListener

SentenceList.RemoveListener - class cobaUI.SentenceList.RemoveListener.

An action listener for removing the selected sentence from the list.

SentenceList.RemoveListener() - Constructor for class cobaUI.SentenceList.RemoveListener

SentenceParser - class revisionlogic.SentenceParser.

SentenceParser is a converter between strings and ISent instances.

SentenceParser() - Constructor for class revisionlogic.SentenceParser

Creates a new default SentenceParser.

SyntaxErrException - exception revisionlogic.SyntaxErrException.

SyntaxErrException is a syntax error message.

SyntaxErrException(String) - Constructor for class revisionlogic.SyntaxErrException

Constructs a new SyntaxErrException.

s - Variable in class cobaUI.ListSent

A reference to the underlying ISent.

s - Variable in class revisionlogic.InconsistencyException

A reference to the inconsistency error message.

s - Variable in class revisionlogic.SyntaxErrException

A reference to the syntax error message.

saveAll - Variable in class cobaUI.COBAApplet

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

saveCB - Variable in class cobaUI.COBAApplet

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

saveCBHist - Variable in class cobaUI.COBAApplet

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

saveCont - Variable in class cobaUI.COBAApplet

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

saveEB - Variable in class cobaUI.COBAApplet

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

saveEBHist - Variable in class cobaUI.COBAApplet

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

saveKB - Variable in class cobaUI.COBAApplet

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

saveKBHist - Variable in class cobaUI.COBAApplet

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

saveRev - Variable in class cobaUI.COBAApplet

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

seEditor - Variable in class cobaUI.MainPanel

The top panel with an entry field and buttons for adding sentences to the KB list, the revision list, and the contraction list.

setAlgo(boolean) - Method in class cobaUI.ControlText

Sets the search algorithm caption and the tooltip text for the search algorithm toggle button.

setAlgo1(boolean) - Method in class revisionlogic.BeliefChangeSzenario

Sets the equivalence set search algorithm to AllEQDet1 if isAlgo1 is true, or to AllEQDet2 otherwise.

setCBIC(Vector) - Method in class revisionlogic.BeliefChangeSzenario

Sets the consistency-based integrity constraints to those in ICc.

setChange(boolean) - Method in class cobaUI.ControlText

Sets the change type caption and the tooltip text for the change type toggle button.

setChoiceType(boolean) - Method in class revisionlogic.BeliefChangeSzenario

Sets the change type to choice change if isChoiceOn is true, or to skeptical change otherwise.

setCons(boolean) - Method in class cobaUI.COBAApplet

Sets the consistency check on input to isOn.

setCons(boolean) - Method in class cobaUI.ControlText

Sets the consistency check caption and the tooltip text for the consistency check toggle button.

setConstraints(Vector, ISent) - Method in class revisionlogic.BeliefChangeSzenario

Sets the consistency-based integrity constraints to those in ICc, and sets the reference for the conjunction of entailment-based integrity constraints to ICe.

setContractor(Vector) - Method in class revisionlogic.BeliefChangeSzenario

Sets the contraction sentences to be the negations of those in C.

setEBIC(ISent) - Method in class revisionlogic.BeliefChangeSzenario

Sets the reference for the conjunction of entailment-based integrity constraints to ICe.

setEntryField(String) - Method in class cobaUI.ICPanel

Sets the entry to s.

setEntryField(String) - Method in class cobaUI.SentenceEditor

Sets the entry to s.

setKB(Vector) - Method in class revisionlogic.BeliefChangeSzenario

Sets the knowledge bases to be the same as those in K.

setKBFromUI(Vector) - Method in class revisionlogic.BeliefChangeSzenario

Sets the knowledge bases to be the same as those in K.

setMerge(boolean) - Method in class cobaUI.ControlText

Sets the merge type caption and the tooltip text for the merge type toggle button.

setParentList(JPanel) - Method in class cobaUI.ListSent

Sets the enclosing list to _parent.

setProjMerge(boolean) - Method in class revisionlogic.BeliefChangeSzenario

Sets the merge type to projection merge if isProjOn is true, or to default merge otherwise.

setRevisor(ISent) - Method in class revisionlogic.BeliefChangeSzenario

Sets the reference for the conjunction of revision sentences to R.

setWarning(int) - Method in class cobaUI.ControlText

Sets the type of informative message to display to i.

setWarningLabel(String) - Method in class cobaUI.ICPanel

Sets the warning to s.

setWarningLabel(String) - Method in class cobaUI.SentenceEditor

Sets the warning to s.

spParser - Variable in class cobaUI.MainPanel

A reference to a SentenceParser object for converting input strings to ISent sentences.

stringFormat - Variable in class cobaUI.SentenceList

An int set to indicate the current display format: default, cnf, dnf.

T

TAUT - Static variable in class revisionlogic.ISent

An int indicating the tautological sentence type.

Tautology - class revisionlogic.Tautology.

Tautology represents a tautology.

Tautology() - Constructor for class revisionlogic.Tautology

toString() - Method in class cobaUI.ListSent

Returns the string representation of the underlying ISent in the view format selected in enclosing list.

top - Static variable in class revisionlogic.BeliefChangeSzenario

A reference to a Tautology.

V

V_OFFSET - Static variable in class cobaUI.COBAApplet

An int indicating the vertical gap used in spacing UI components.

vResult - Variable in class cobaUI.PreviewList

The Vector of ISents, one per resultant knowledge base.

W

whichKB - Variable in class cobaUI.SentenceEditor

An int indicating the index of the new knowledge base.

A B C D E F G H I K L M N P R S T V W