Serialized Form

Package org.aspic.inference

Class org.aspic.inference.Addition extends Binary implements Serializable

Class org.aspic.inference.ArithmeticBinaryEvaluator extends Binary implements Serializable

Class org.aspic.inference.ArithmeticEqualTo extends ArithmeticBinaryEvaluator implements Serializable

Class org.aspic.inference.ArithmeticNotEqualTo extends ArithmeticBinaryEvaluator implements Serializable

Class org.aspic.inference.Binary extends BuiltIn implements Serializable

Serialized Fields

infix

boolean infix

Class org.aspic.inference.BinaryEvaluator extends Binary implements Serializable

Class org.aspic.inference.BuiltIn extends Term implements Serializable

Class org.aspic.inference.Constant extends Element implements Serializable

serialVersionUID: 1L

Serialized Fields

functor

java.lang.String functor

Class org.aspic.inference.ConstantFloat extends ConstantNumber implements Serializable

Class org.aspic.inference.ConstantInteger extends ConstantNumber implements Serializable

Class org.aspic.inference.ConstantList extends ElementList implements Serializable

Class org.aspic.inference.ConstantNumber extends Constant implements Serializable

Serialized Fields

number

java.lang.Number number

Class org.aspic.inference.Division extends Binary implements Serializable

Class org.aspic.inference.Element extends java.lang.Object implements Serializable

Serialized Fields

knowledgeBase

KnowledgeBase knowledgeBase

A reference to the knowledgeBase that contains this Element.

id

long id

Class org.aspic.inference.ElementList extends Element implements Serializable

Serialized Fields

list

java.util.List<E> list

Class org.aspic.inference.Engine.UnsupportedValueException extends java.lang.RuntimeException implements Serializable

Class org.aspic.inference.EqualTo extends BinaryEvaluator implements Serializable

Class org.aspic.inference.GreaterThan extends ArithmeticBinaryEvaluator implements Serializable

Class org.aspic.inference.GreaterThanOrEqualTo extends ArithmeticBinaryEvaluator implements Serializable

Class org.aspic.inference.Is extends Binary implements Serializable

Class org.aspic.inference.KnowledgeBase extends java.lang.Object implements Serializable

Serialized Fields

rulesMap

java.util.Map<K,V> rulesMap

namedRules

org.aspic.inference.KnowledgeBase.RuleNameBidiMap namedRules

counter

int counter

usingTransposition

boolean usingTransposition

transposedRules

java.util.Map<K,V> transposedRules

predicates

java.util.Map<K,V> predicates

Class org.aspic.inference.KnowledgeBase.RuleNameException extends java.lang.RuntimeException implements Serializable

Class org.aspic.inference.LessThan extends ArithmeticBinaryEvaluator implements Serializable

Class org.aspic.inference.LessThanOrEqualTo extends ArithmeticBinaryEvaluator implements Serializable

Class org.aspic.inference.Multiplication extends Binary implements Serializable

Class org.aspic.inference.NegationAsFailure extends Unary implements Serializable

Class org.aspic.inference.Nonvar extends Unary implements Serializable

Class org.aspic.inference.NotEqualTo extends BinaryEvaluator implements Serializable

Class org.aspic.inference.Query extends java.lang.Object implements Serializable

Serialized Fields

expression

Element expression

proof

java.util.List<E> proof

results

java.util.List<E> results

engineProperties

java.util.Map<K,V> engineProperties

Class org.aspic.inference.ReasonerException extends java.lang.Exception implements Serializable

Class org.aspic.inference.Result extends java.lang.Object implements Serializable

Serialized Fields

expression

Element expression

result

boolean result

Class org.aspic.inference.Rule extends Term implements Serializable

serialVersionUID: 1L

Serialized Fields

isAutoGenerated

boolean isAutoGenerated

isAutoNamed

boolean isAutoNamed

caption

java.lang.String caption

description

java.lang.String description

claimCaption

java.lang.String claimCaption

claimDescription

java.lang.String claimDescription

Class org.aspic.inference.RuleArgument extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

topRule

Rule topRule

modifier

java.lang.Double modifier

substitution

Substitution substitution

subArgumentList

RuleArgumentList subArgumentList

owner

Party owner

level

int level

d_top

int d_top

valuator

RuleArgumentValuator valuator

restrictedRebutting

boolean restrictedRebutting

status

RuleArgument.Status status

number

int number

parentNumber

int parentNumber

successfulAttackerCache

java.util.List<E> successfulAttackerCache

unsuccessfulAttackerCache

java.util.List<E> unsuccessfulAttackerCache

Class org.aspic.inference.RuleArgumentList extends java.lang.Object implements Serializable

Serialized Fields

substitution

Substitution substitution

arguments

java.util.List<E> arguments

Class org.aspic.inference.Substitution extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

substitutionMap

java.util.Map<K,V> substitutionMap

bannedVariablesList

java.util.List<E> bannedVariablesList

Class org.aspic.inference.Subtraction extends Binary implements Serializable

Class org.aspic.inference.Term extends Constant implements Serializable

Serialized Fields

argList

ElementList argList

Class org.aspic.inference.Unary extends BuiltIn implements Serializable

Class org.aspic.inference.Variable extends Element implements Serializable

Serialized Fields

name

java.lang.String name

internalName

java.lang.String internalName

Package org.aspic.inference.gui

Class org.aspic.inference.gui.EngineTester extends javax.swing.JFrame implements Serializable

Serialized Fields

tabbedPane

javax.swing.JTabbedPane tabbedPane

menuBar

javax.swing.JMenuBar menuBar

editPopup

javax.swing.JPopupMenu editPopup

mnuFileNew

javax.swing.JMenuItem mnuFileNew

mnuFileOpen

javax.swing.JMenuItem mnuFileOpen

mnuFileSave

javax.swing.JMenuItem mnuFileSave

mnuFileSaveAs

javax.swing.JMenuItem mnuFileSaveAs

mnuFileQuit

javax.swing.JMenuItem mnuFileQuit

mnuEditCopy

javax.swing.JMenuItem mnuEditCopy

mnuEditCut

javax.swing.JMenuItem mnuEditCut

mnuEditPaste

javax.swing.JMenuItem mnuEditPaste

mnuEditDelete

javax.swing.JMenuItem mnuEditDelete

mnuEditUndo

javax.swing.JMenuItem mnuEditUndo

mnuEditRedo

javax.swing.JMenuItem mnuEditRedo

pmnuEditCopy

javax.swing.JMenuItem pmnuEditCopy

pmnuEditCut

javax.swing.JMenuItem pmnuEditCut

pmnuEditPaste

javax.swing.JMenuItem pmnuEditPaste

pmnuEditDelete

javax.swing.JMenuItem pmnuEditDelete

mnuOptionsSemanticsGrounded

javax.swing.JRadioButtonMenuItem mnuOptionsSemanticsGrounded

mnuOptionsSemanticsCredulous

javax.swing.JRadioButtonMenuItem mnuOptionsSemanticsCredulous

mnuOptionsValuationWeakest

javax.swing.JRadioButtonMenuItem mnuOptionsValuationWeakest

mnuOptionsValuationLast

javax.swing.JRadioButtonMenuItem mnuOptionsValuationLast

mnuOptionsKKLayout

javax.swing.JRadioButtonMenuItem mnuOptionsKKLayout

mnuOptionsFRLayout

javax.swing.JRadioButtonMenuItem mnuOptionsFRLayout

mnuOptionsSpringLayout

javax.swing.JRadioButtonMenuItem mnuOptionsSpringLayout

mnuOptionsLogging

javax.swing.JCheckBoxMenuItem mnuOptionsLogging

mnuOptionsAIFXML

javax.swing.JCheckBoxMenuItem mnuOptionsAIFXML

mnuOptionsDot

javax.swing.JCheckBoxMenuItem mnuOptionsDot

mnuOptionsGraph

javax.swing.JCheckBoxMenuItem mnuOptionsGraph

mnuOptionsGraph2

javax.swing.JCheckBoxMenuItem mnuOptionsGraph2

mnuOptionsGraph3

javax.swing.JCheckBoxMenuItem mnuOptionsGraph3

mnuOptionsRestrictedRebutting

javax.swing.JCheckBoxMenuItem mnuOptionsRestrictedRebutting

mnuOptionsValuation

javax.swing.JCheckBoxMenuItem mnuOptionsValuation

mnuOptionsTransposition

javax.swing.JCheckBoxMenuItem mnuOptionsTransposition

mnuHelpAbout

javax.swing.JMenuItem mnuHelpAbout

exceptionDlg

ExceptionDialog exceptionDlg

inputPanel

javax.swing.JPanel inputPanel

queryPanel

javax.swing.JPanel queryPanel

resultPanel

javax.swing.JPanel resultPanel

outputPanel

javax.swing.JPanel outputPanel

dotPanel

javax.swing.JPanel dotPanel

graphPanel

javax.swing.JPanel graphPanel

graph2Panel

javax.swing.JPanel graph2Panel

graph3Panel

javax.swing.JPanel graph3Panel

graph3OutPanel

javax.swing.JPanel graph3OutPanel

inEditor

javax.swing.text.JTextComponent inEditor

outEditor

javax.swing.text.JTextComponent outEditor

dotEditor

javax.swing.text.JTextComponent dotEditor

resultEditor

javax.swing.text.JTextComponent resultEditor

graphViewer

edu.uci.ics.jung.visualization.VisualizationViewer graphViewer

graph2Viewer

edu.uci.ics.jung.visualization.VisualizationViewer graph2Viewer

graph3Viewer

edu.uci.ics.jung.visualization.VisualizationViewer graph3Viewer

undoMgr

javax.swing.undo.UndoManager undoMgr

undoHandler

javax.swing.event.UndoableEditListener undoHandler

inputListener

org.aspic.inference.gui.EngineTester.InputDocumentListener inputListener

btnSendToEngine

javax.swing.JButton btnSendToEngine

txtQuery

javax.swing.JTextField txtQuery

lblQuery

javax.swing.JLabel lblQuery

lstResults

javax.swing.JList lstResults

mdlResults

javax.swing.DefaultListModel mdlResults

fileChooser

javax.swing.JFileChooser fileChooser

filename

java.lang.String filename

hasChanged

boolean hasChanged

hasName

boolean hasName

cursorHourglass

java.awt.Cursor cursorHourglass

cursorDefault

java.awt.Cursor cursorDefault

semantics

Reasoner semantics

layout

JungGraphWriter.Layouts layout

transposition

boolean transposition

restrictedRebutting

boolean restrictedRebutting

valuator

Valuator valuator

logging

boolean logging

showGraphTab

boolean showGraphTab

showGraph2Tab

boolean showGraph2Tab

showGraph3Tab

boolean showGraph3Tab

showAIFXMLTab

boolean showAIFXMLTab

showDotTab

boolean showDotTab

Class org.aspic.inference.gui.EngineTester.ArgumentListRenderer extends javax.swing.DefaultListCellRenderer implements Serializable

Class org.aspic.inference.gui.ExceptionDialog extends javax.swing.JDialog implements Serializable

Serialized Fields

textLongMessage

javax.swing.JTextArea textLongMessage

lblShortMessage

javax.swing.JLabel lblShortMessage

Package org.aspic.inference.parser

Class org.aspic.inference.parser.ParseException extends java.lang.Exception implements Serializable

Serialized Fields

specialConstructor

boolean specialConstructor

This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).

currentToken

Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

java.lang.String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

eol

java.lang.String eol

The end of line string for this machine.

Class org.aspic.inference.parser.TokenMgrError extends java.lang.Error implements Serializable

Serialized Fields

errorCode

int errorCode

Indicates the reason why the exception is thrown. It will have one of the above 4 values.