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

A

ABW - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

actionPerformed(ActionEvent) - Method in class org.aspic.inference.gui.EngineTester

The event handling method, accepts all the events

add(Constant) - Method in class org.aspic.inference.ConstantList

Add new Constant to end of ConstantList.

add(int, Constant) - Method in class org.aspic.inference.ConstantList

Add new Constant to specified index in ConstantList (pushes higher Constants up).

add(Element) - Method in class org.aspic.inference.ElementList

Add new Element to end of ElementList.

add(int, Element) - Method in class org.aspic.inference.ElementList

Add new Element to ElementList at specified index (pushes higher Elements up).

add(Variable, Element) - Method in class org.aspic.inference.Substitution

Adds a new substitution into the substitution list, unless the new substitution contradicts an existing substitution, in which case the contradicted substitution is removed from the list and the isConsistant flag is set to false (irrevocably).

add(Substitution) - Method in class org.aspic.inference.Substitution

Merge the passed substitution into this one.

add_escapes(String) - Method in exception org.aspic.inference.parser.ParseException

Used to convert raw characters to their escaped version when these raw version cannot be used as part of an ASCII string literal.

addArg(int, Element) - Method in class org.aspic.inference.Term

Adds new element to argList in the stated index position.

addEscapes(String) - Static method in error org.aspic.inference.parser.TokenMgrError

Replaces unprintable characters by their espaced (or unicode escaped) equivalents in the given string

Addition - Class in org.aspic.inference

The "+" binary built-in predicate.

Addition() - Constructor for class org.aspic.inference.Addition

Default constructor.

Addition(Element, Element) - Constructor for class org.aspic.inference.Addition

Typical constructor.

addRule(Rule) - Method in class org.aspic.inference.KnowledgeBase

When adding a Rule to a KnowledgeBase, the indexes must be correctly set and each Element within the Rule must have it's knowledgeBase reference set to the containing knowledgebase, i.e.

addRuleLocal(Rule) - Method in class org.aspic.inference.KnowledgeBase

The internal index of Rules has a very specific structure: Map>> A HashMap whose values are more HashMaps whose values are ArrayLists or Rules.

addRules(List) - Method in class org.aspic.inference.KnowledgeBase

Add rules to the knowledge base.

adjustBeginLineColumn(int, int) - Method in class org.aspic.inference.parser.SimpleCharStream

Method to adjust line and column numbers for the start of a token.

AEQ - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

AIFXMLWriter - Class in org.aspic.inference.writers

A writer for AIFXML.

AIFXMLWriter() - Constructor for class org.aspic.inference.writers.AIFXMLWriter

ANEQ - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

apply(Substitution) - Method in class org.aspic.inference.Addition

apply(Substitution) - Method in class org.aspic.inference.ArithmeticEqualTo

apply(Substitution) - Method in class org.aspic.inference.ArithmeticNotEqualTo

apply(Substitution) - Method in class org.aspic.inference.Constant

apply(Substitution) - Method in class org.aspic.inference.Division

apply(Substitution) - Method in class org.aspic.inference.Element

Return copy of this Element with the substitution applied.

apply(Substitution) - Method in class org.aspic.inference.ElementList

Clone ElementList and apply substitution to all elements within the clone.

apply(Substitution) - Method in class org.aspic.inference.EqualTo

apply(Substitution) - Method in class org.aspic.inference.GreaterThan

apply(Substitution) - Method in class org.aspic.inference.GreaterThanOrEqualTo

apply(Substitution) - Method in class org.aspic.inference.Is

apply(Substitution) - Method in class org.aspic.inference.LessThan

apply(Substitution) - Method in class org.aspic.inference.LessThanOrEqualTo

apply(Substitution) - Method in class org.aspic.inference.Multiplication

apply(Substitution) - Method in class org.aspic.inference.NegationAsFailure

apply(Substitution) - Method in class org.aspic.inference.Nonvar

apply(Substitution) - Method in class org.aspic.inference.NotEqualTo

apply(Substitution) - Method in class org.aspic.inference.Rule

apply(Substitution) - Method in class org.aspic.inference.Subtraction

apply(Substitution) - Method in class org.aspic.inference.Term

apply(Substitution) - Method in class org.aspic.inference.Variable

Return the substitution listed for this variable name (if there is one), else this variable

ArgumentBackingQueryWriter - Class in org.aspic.inference.writers

A writer that writes the backing of an argument as an I.E.

ArgumentBackingQueryWriter() - Constructor for class org.aspic.inference.writers.ArgumentBackingQueryWriter

ArgumentCaptionWriter - Class in org.aspic.inference.writers

A writer that writes an argument as a tab indented tree of sub argument captions

ArgumentCaptionWriter() - Constructor for class org.aspic.inference.writers.ArgumentCaptionWriter

ArgumentInteraction - Class in org.aspic.inference.gui

A Jung DirectedSparseEdge that is typed by InteractionType.

ArgumentInteraction(Vertex, Vertex, InteractionType) - Constructor for class org.aspic.inference.gui.ArgumentInteraction

argumentIterator() - Method in class org.aspic.inference.KnowledgeBaseSource

Get all arguments.

argumentIterator(Constant) - Method in class org.aspic.inference.KnowledgeBaseSource

Get all arguments with a particular claim.

argumentIterator(ConstantList) - Method in class org.aspic.inference.KnowledgeBaseSource

Get all rule argument list permutations whose arguments match a given list of claims.

ArgumentVertex - Class in org.aspic.inference.gui

A Jung DirectedSparseVertex that is subclassed for Argument attributes, claim, name,support and status.

ArgumentVertex(String, String, double, RuleArgument.Status) - Constructor for class org.aspic.inference.gui.ArgumentVertex

ArgumentVertex.ArgumentVertexIcon - Class in org.aspic.inference.gui

ArgumentVertex.ArgumentVertexIcon(ArgumentVertex) - Constructor for class org.aspic.inference.gui.ArgumentVertex.ArgumentVertexIcon

ArithmeticBinaryEvaluator - Class in org.aspic.inference

Abstract class for binary built-in predicates that attempt to compute both arguments before attempting to generate an Argument.

ArithmeticBinaryEvaluator(String, boolean, Element, Element) - Constructor for class org.aspic.inference.ArithmeticBinaryEvaluator

Typical constructor.

ArithmeticBinaryEvaluator() - Constructor for class org.aspic.inference.ArithmeticBinaryEvaluator

Default constructor.

ArithmeticEqualTo - Class in org.aspic.inference

The "=:=" binary evaluator built-in predicate.

ArithmeticEqualTo(Element, Element) - Constructor for class org.aspic.inference.ArithmeticEqualTo

Typical constructor.

ArithmeticEqualTo() - Constructor for class org.aspic.inference.ArithmeticEqualTo

Default constructor.

ArithmeticNotEqualTo - Class in org.aspic.inference

The "=\=" binary evaluator built-in predicate.

ArithmeticNotEqualTo(Element, Element) - Constructor for class org.aspic.inference.ArithmeticNotEqualTo

Typical constructor.

ArithmeticNotEqualTo() - Constructor for class org.aspic.inference.ArithmeticNotEqualTo

Default constructor.

B

backup(int) - Method in class org.aspic.inference.parser.SimpleCharStream

beginColumn - Variable in class org.aspic.inference.parser.Token

beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.

beginLine - Variable in class org.aspic.inference.parser.Token

beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.

BeginToken() - Method in class org.aspic.inference.parser.SimpleCharStream

Binary - Class in org.aspic.inference

Abstract class for binary built-in predicates.

Binary(String, boolean, Element, Element) - Constructor for class org.aspic.inference.Binary

Typical constructor.

Binary() - Constructor for class org.aspic.inference.Binary

Default constructor.

BinaryEvaluator - Class in org.aspic.inference

Abstract class for binary built-in predicates that attempt to compute both arguments before attempting to generate an Argument.

BinaryEvaluator(String, boolean, Element, Element) - Constructor for class org.aspic.inference.BinaryEvaluator

Typical constructor.

BinaryEvaluator() - Constructor for class org.aspic.inference.BinaryEvaluator

Default constructor.

bufcolumn - Variable in class org.aspic.inference.parser.SimpleCharStream

buffer - Variable in class org.aspic.inference.parser.SimpleCharStream

bufline - Variable in class org.aspic.inference.parser.SimpleCharStream

bufpos - Variable in class org.aspic.inference.parser.SimpleCharStream

BuiltIn - Class in org.aspic.inference

Abstract class for a built-in predicate.

BuiltIn() - Constructor for class org.aspic.inference.BuiltIn

Default constructor.

BuiltIn(String, ElementList) - Constructor for class org.aspic.inference.BuiltIn

Typical constructor.

BuiltIn() - Method in class org.aspic.inference.parser.PrologSyntax

C

CAPTION - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

ClaimWriter - Class in org.aspic.inference.writers

A writer for Arugment claims.

ClaimWriter() - Constructor for class org.aspic.inference.writers.ClaimWriter

clear() - Method in class org.aspic.inference.writers.ArgumentBackingQueryWriter

clear() - Method in class org.aspic.inference.writers.ArgumentCaptionWriter

clear() - Method in class org.aspic.inference.writers.EditableContentWriter

clear() - Method in class org.aspic.inference.writers.OneLineArgumentWriter

clone() - Method in class org.aspic.inference.Constant

clone() - Method in class org.aspic.inference.ConstantFloat

clone() - Method in class org.aspic.inference.ConstantInteger

clone() - Method in class org.aspic.inference.Element

An element is incompletely cloned.

clone() - Method in class org.aspic.inference.ElementList

clone() - Method in class org.aspic.inference.Engine

clone() - Method in class org.aspic.inference.KnowledgeBase

clone() - Method in class org.aspic.inference.KnowledgeBaseSource

clone() - Method in class org.aspic.inference.Rule

clone() - Method in class org.aspic.inference.Substitution

clone() - Method in class org.aspic.inference.Term

clone() - Method in class org.aspic.inference.Variable

column - Variable in class org.aspic.inference.parser.SimpleCharStream

compose(Substitution) - Method in class org.aspic.inference.Substitution

Return a new substitution which has all the elements of this one (having had the second substitution applied) merged with the second substitution.

Constant - Class in org.aspic.inference

A Constant is the simplest sub-class of Element.

Constant() - Constructor for class org.aspic.inference.Constant

Default Constructor.

Constant(String) - Constructor for class org.aspic.inference.Constant

Typical constructor.

ConstantFloat - Class in org.aspic.inference

The knowledge syntax is based on prolog which understands that numbers might be integers or floats.

ConstantFloat(double) - Constructor for class org.aspic.inference.ConstantFloat

Typical constructor.

ConstantFloat() - Constructor for class org.aspic.inference.ConstantFloat

Default constructor.

ConstantInteger - Class in org.aspic.inference

The knowledge syntax is based on prolog which understands that numbers might be integers or floats.

ConstantInteger(int) - Constructor for class org.aspic.inference.ConstantInteger

Typical constructor.

ConstantInteger() - Constructor for class org.aspic.inference.ConstantInteger

Default constructor.

ConstantList - Class in org.aspic.inference

An ElementList whose members are restricted to Constants.

ConstantList() - Constructor for class org.aspic.inference.ConstantList

Default Constructor.

ConstantList(Constant...) - Constructor for class org.aspic.inference.ConstantList

Typical constructor.

ConstantNumber - Class in org.aspic.inference

A ConstantNumber is a special Constant that you can always make exactly one Argument for.

ConstantNumber() - Constructor for class org.aspic.inference.ConstantNumber

Default constructor.

ConstantNumber(Number) - Constructor for class org.aspic.inference.ConstantNumber

Typical constructor.

containsElement(Element) - Method in class org.aspic.inference.Substitution

Returns true if this substitution contains a variable mapping for the passed element.

containsModuloVariables(Element) - Method in class org.aspic.inference.ElementList

Checks to see if this list contains a particular Element.

containsVariable(Variable) - Method in class org.aspic.inference.Substitution

Returns true if this Substitution contains a valid substitution for the passed variable.

counter - Variable in class org.aspic.inference.KnowledgeBase

createQuery(String) - Method in class org.aspic.inference.Engine

Create new Query.

createQuery(Constant) - Method in class org.aspic.inference.Engine

Creates new Query with a lower level parameter then createQuery(String).

createQuery(ConstantList) - Method in class org.aspic.inference.Engine

Creates new Query with a lower level parameter then createQuery(String).

createValuator() - Method in enum org.aspic.inference.Valuator

factory method for Valuator object

curChar - Variable in class org.aspic.inference.parser.PrologSyntaxTokenManager

currentToken - Variable in exception org.aspic.inference.parser.ParseException

This is the last token that has been consumed successfully.

D

debugStream - Variable in class org.aspic.inference.parser.PrologSyntaxTokenManager

DEFAULT - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

disable_tracing() - Method in class org.aspic.inference.parser.PrologSyntax

DIVIDE - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

Division - Class in org.aspic.inference

The "/" binary built-in predicate.

Division(Element, Element) - Constructor for class org.aspic.inference.Division

Division() - Constructor for class org.aspic.inference.Division

Done() - Method in class org.aspic.inference.parser.SimpleCharStream

E

EditableContentWriter - Class in org.aspic.inference.writers

A writer that starts a user off for an editable move content.

EditableContentWriter() - Constructor for class org.aspic.inference.writers.EditableContentWriter

Element - Class in org.aspic.inference

Top-level abstract class for all knowledge classes.

Element() - Constructor for class org.aspic.inference.Element

ElementList - Class in org.aspic.inference

An encapsulated List of Elements that is used as the antecedent in a Rule, the argList of a Term, and could possibly be used to capture lists if list processing operators were built into the language.

ElementList() - Constructor for class org.aspic.inference.ElementList

Default Constructor.

ElementList(Element...) - Constructor for class org.aspic.inference.ElementList

Typical constructor.

enable_tracing() - Method in class org.aspic.inference.parser.PrologSyntax

endColumn - Variable in class org.aspic.inference.parser.Token

beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.

endLine - Variable in class org.aspic.inference.parser.Token

beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.

Engine - Class in org.aspic.inference

An Engine has a knowledge base and can generate queries.

Engine(String) - Constructor for class org.aspic.inference.Engine

Engine(KnowledgeBase) - Constructor for class org.aspic.inference.Engine

Engine.MessageFormatter - Class in org.aspic.inference

A logging formatter that only shows the message: nothing else

Engine.MessageFormatter() - Constructor for class org.aspic.inference.Engine.MessageFormatter

Engine.OnOff - Enum in org.aspic.inference

Enumeration for boolean Engine properties.

Engine.Property - Enum in org.aspic.inference

Enumeration of the available Engine properties.

Engine.UnsupportedValueException - Exception in org.aspic.inference

An Exception that is thrown if a user attempts to set a property with an unsupported value.

Engine.UnsupportedValueException(String) - Constructor for exception org.aspic.inference.Engine.UnsupportedValueException

EngineTester - Class in org.aspic.inference.gui

The main class.

EngineTester() - Constructor for class org.aspic.inference.gui.EngineTester

Constructor.

EngineTester.ArgumentListRenderer - Class in org.aspic.inference.gui

EngineTester.ArgumentListRenderer() - Constructor for class org.aspic.inference.gui.EngineTester.ArgumentListRenderer

EOF - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

eol - Variable in exception org.aspic.inference.parser.ParseException

The end of line string for this machine.

EQ - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

equals(Object) - Method in class org.aspic.inference.Constant

equals(Object) - Method in class org.aspic.inference.ConstantNumber

equals(Object) - Method in class org.aspic.inference.ElementList

equals(Object) - Method in class org.aspic.inference.KnowledgeBase

equals(Object) - Method in class org.aspic.inference.Predicate

equals(Object) - Method in class org.aspic.inference.Rule

equals(Object) - Method in class org.aspic.inference.Substitution

equals(Object) - Method in class org.aspic.inference.Term

equals(Object) - Method in class org.aspic.inference.Variable

EqualTo - Class in org.aspic.inference

The "==" binary evaluator built-in predicate.

EqualTo(Element, Element) - Constructor for class org.aspic.inference.EqualTo

Typical constructor.

EqualTo() - Constructor for class org.aspic.inference.EqualTo

ConstantNumber Default constructor.

evaluate(ConstantNumber, ConstantNumber) - Method in class org.aspic.inference.ArithmeticBinaryEvaluator

evaluate(ConstantNumber, ConstantNumber) - Method in class org.aspic.inference.ArithmeticEqualTo

evaluate(ConstantNumber, ConstantNumber) - Method in class org.aspic.inference.ArithmeticNotEqualTo

evaluate(Element, Element) - Method in class org.aspic.inference.BinaryEvaluator

evaluate(Element, Element) - Method in class org.aspic.inference.EqualTo

evaluate(ConstantNumber, ConstantNumber) - Method in class org.aspic.inference.GreaterThan

evaluate(ConstantNumber, ConstantNumber) - Method in class org.aspic.inference.GreaterThanOrEqualTo

evaluate(ConstantNumber, ConstantNumber) - Method in class org.aspic.inference.LessThan

evaluate(ConstantNumber, ConstantNumber) - Method in class org.aspic.inference.LessThanOrEqualTo

evaluate(Element, Element) - Method in class org.aspic.inference.NotEqualTo

ExceptionDialog - Class in org.aspic.inference.gui

A dialogue which captures the stack trace.

ExceptionDialog(Frame) - Constructor for class org.aspic.inference.gui.ExceptionDialog

The constructor just creates a dialog.

ExpandBuff(boolean) - Method in class org.aspic.inference.parser.SimpleCharStream

expectedTokenSequences - Variable in exception org.aspic.inference.parser.ParseException

Each entry in this array is an array of integers.

Expression() - Method in class org.aspic.inference.parser.PrologSyntax

F

FillBuff() - Method in class org.aspic.inference.parser.SimpleCharStream

FLOAT - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

format(LogRecord) - Method in class org.aspic.inference.Engine.MessageFormatter

G

generateParseException() - Method in class org.aspic.inference.parser.PrologSyntax

get(int) - Method in class org.aspic.inference.ConstantList

Get Constant at specified index.

get(int) - Method in class org.aspic.inference.ElementList

Retrieve Element by index.

get(Variable) - Method in class org.aspic.inference.Substitution

Gets the element that is mapped by the passed variable.

getAllPredicates() - Method in class org.aspic.inference.KnowledgeBase

getAntecedent() - Method in class org.aspic.inference.Rule

Getter for Rule's antecendent.

getArg(int) - Method in class org.aspic.inference.Term

Retrieve argList element by index.

getArguments() - Method in class org.aspic.inference.RuleArgumentList

Getter for argument list.

getArity() - Method in class org.aspic.inference.Predicate

Getter for arity.

getArityMap(String) - Method in class org.aspic.inference.KnowledgeBase

used in Constant.argument

getBeginColumn() - Method in class org.aspic.inference.parser.SimpleCharStream

getBeginLine() - Method in class org.aspic.inference.parser.SimpleCharStream

getCaption() - Method in class org.aspic.inference.Rule

Getter for caption.

getClaim() - Method in class org.aspic.inference.gui.ArgumentVertex

getClaim() - Method in class org.aspic.inference.RuleArgument

Virtual getter.

getClaimCaption() - Method in class org.aspic.inference.Rule

getClaimDescription() - Method in class org.aspic.inference.Rule

getClaims() - Method in class org.aspic.inference.RuleArgumentList

Get a ConstantList of each of the argument's claims.

getColor() - Method in enum org.aspic.inference.gui.InteractionType

getColumn() - Method in class org.aspic.inference.parser.SimpleCharStream

Deprecated.

getConsequent() - Method in class org.aspic.inference.Rule

Getter for Rule consequent.

getDescription() - Method in class org.aspic.inference.Rule

Getter for description.

getDob() - Method in class org.aspic.inference.Rule

Getter for Rule's Degree of Belief.

getDocument() - Method in class org.aspic.inference.writers.AIFXMLWriter

getEndColumn() - Method in class org.aspic.inference.parser.SimpleCharStream

getEndLine() - Method in class org.aspic.inference.parser.SimpleCharStream

getEngineProperties() - Method in class org.aspic.inference.Query

A way for an ArgumentWriter to see the context of the query.

getEstimatedHeight() - Method in class org.aspic.inference.gui.ArgumentVertex

getEstimatedWidth() - Method in class org.aspic.inference.gui.ArgumentVertex

getExpression() - Method in class org.aspic.inference.Query

A way to inspect the Query's expression.

getExpression() - Method in class org.aspic.inference.Result

Getter for expression.

getFunctor() - Method in class org.aspic.inference.Constant

Simple getter for functor.

getFunctor() - Method in class org.aspic.inference.Predicate

Getter for functor.

getIcon() - Method in class org.aspic.inference.gui.ArgumentVertex

getIconHeight() - Method in class org.aspic.inference.gui.ArgumentVertex.ArgumentVertexIcon

getIconWidth() - Method in class org.aspic.inference.gui.ArgumentVertex.ArgumentVertexIcon

getId() - Method in class org.aspic.inference.Element

Getter for Persistance ID.

GetImage() - Method in class org.aspic.inference.parser.SimpleCharStream

getInteractionType() - Method in class org.aspic.inference.gui.ArgumentInteraction

getInternalName() - Method in class org.aspic.inference.Variable

Getter for internal name.

getKnowledgeBase() - Method in class org.aspic.inference.Element

Get reference to the kb that this Element is associated with.

getKnowledgeBase() - Method in class org.aspic.inference.Engine

Deprecated. Use getKnowledgeBaseSource instead

getKnowledgeBase() - Method in class org.aspic.inference.KnowledgeBaseSource

Getter for encapsulated knowledge base.

getKnowledgeBaseSource() - Method in class org.aspic.inference.Engine

Getter for Engine's Argument Source.

getLayout(Graph) - Method in enum org.aspic.inference.writers.JungGraphWriter.Layouts

getLeft() - Method in class org.aspic.inference.Binary

Getter for left operand.

getLine() - Method in class org.aspic.inference.parser.SimpleCharStream

Deprecated.

getList() - Method in class org.aspic.inference.ElementList

getListCellRendererComponent(JList, Object, int, boolean, boolean) - Method in class org.aspic.inference.gui.EngineTester.ArgumentListRenderer

getMessage() - Method in exception org.aspic.inference.parser.ParseException

This method has the standard behavior when this object has been created using the standard constructors.

getMessage() - Method in error org.aspic.inference.parser.TokenMgrError

You can also modify the body of this method to customize your error messages.

getModifier() - Method in class org.aspic.inference.RuleArgument

Support is the belief of the conclusion.

getName() - Method in class org.aspic.inference.gui.ArgumentVertex

getName() - Method in class org.aspic.inference.Rule

Getter for Rule name.

getName() - Method in class org.aspic.inference.RuleArgument

Virtual getter.

getName() - Method in class org.aspic.inference.Variable

Getter for public name.

getNextToken() - Method in class org.aspic.inference.parser.PrologSyntax

getNextToken() - Method in class org.aspic.inference.parser.PrologSyntaxTokenManager

getNumber() - Method in class org.aspic.inference.ConstantFloat

Simple getter for number.

getNumber() - Method in class org.aspic.inference.ConstantInteger

Getter for number.

getNumber() - Method in class org.aspic.inference.ConstantNumber

Basic getter for number.

getNumber() - Method in class org.aspic.inference.RuleArgument

Gets the argument's (locally) unique number.

getOperand() - Method in class org.aspic.inference.Unary

Getter for operand.

getOPP() - Method in class org.aspic.inference.ReasonerPair

Get's the Opponent list

getParentNumber() - Method in class org.aspic.inference.RuleArgument

Useful for drawing proof diagrams.

getPredicateArities(String) - Method in class org.aspic.inference.KnowledgeBase

getPRO() - Method in class org.aspic.inference.ReasonerPair

Get's the Proponent list

getProof() - Method in class org.aspic.inference.Query

The proof for a Query is the Argument network used to resolve status of the query matches.

getProperty(Engine.Property) - Method in class org.aspic.inference.Engine

Get property value.

getResults() - Method in class org.aspic.inference.Query

A list of results - one for each different argument that could be develped whose claim is a match to the query expression.

getRight() - Method in class org.aspic.inference.Binary

Getter for right operand.

getRuleFromName(Constant) - Method in class org.aspic.inference.KnowledgeBase

Retrieves Rule from named rules cache by passing it's rule name.

getRules() - Method in class org.aspic.inference.KnowledgeBase

Get list of non auto-generated rules.

getStatus() - Method in class org.aspic.inference.gui.ArgumentVertex

getStatus() - Method in class org.aspic.inference.RuleArgument

Gets the status of the argument (if set).

getSubArgumentList() - Method in class org.aspic.inference.RuleArgument

Gets the sub argument list.

getSubstitution() - Method in class org.aspic.inference.RuleArgument

Gets the substution used to make the argument.

getSubstitution() - Method in class org.aspic.inference.RuleArgumentList

Getter for substitution.

getSuccessfulAttackerCache() - Method in class org.aspic.inference.RuleArgument

On discovery, successful attacking arguments are placed in a cache for later inspection.

GetSuffix(int) - Method in class org.aspic.inference.parser.SimpleCharStream

getSupport() - Method in class org.aspic.inference.gui.ArgumentVertex

getSupportedValues(Engine.Property) - Method in class org.aspic.inference.Engine

Get supported values for a particular property.

getTabSize(int) - Method in class org.aspic.inference.parser.SimpleCharStream

getToken(int) - Method in class org.aspic.inference.parser.PrologSyntax

getTopRule() - Method in class org.aspic.inference.RuleArgument

Get's reference to the top rule.

getUnsuccessfulAttackerCache() - Method in class org.aspic.inference.RuleArgument

On discovery, unsucessful attacking arguments are placed in a cache for later inspection.

getValuator() - Method in class org.aspic.inference.KnowledgeBaseSource

Getter for valuator.

getViewer() - Method in class org.aspic.inference.writers.JungGraphWriter

Get viewer for embedding in a Jung graph panel.

getViewer() - Method in class org.aspic.inference.writers.SimpleJungGraphWriter

GMLWriter - Class in org.aspic.inference.writers

A writer for yEd.

GMLWriter() - Constructor for class org.aspic.inference.writers.GMLWriter

GraphvizWriter - Class in org.aspic.inference.writers

A writer for DOT.

GraphvizWriter() - Constructor for class org.aspic.inference.writers.GraphvizWriter

GreaterThan - Class in org.aspic.inference

The ">" binary evaluator built-in predicate.

GreaterThan(Element, Element) - Constructor for class org.aspic.inference.GreaterThan

Typical constructor.

GreaterThan() - Constructor for class org.aspic.inference.GreaterThan

Default constructor.

GreaterThanOrEqualTo - Class in org.aspic.inference

The ">=" binary evaluator built-in predicate.

GreaterThanOrEqualTo(Element, Element) - Constructor for class org.aspic.inference.GreaterThanOrEqualTo

Typical constructor.

GreaterThanOrEqualTo() - Constructor for class org.aspic.inference.GreaterThanOrEqualTo

Default constructor.

GT - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

GTE - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

H

hashCode() - Method in class org.aspic.inference.Constant

hashCode() - Method in class org.aspic.inference.ElementList

hashCode() - Method in class org.aspic.inference.Rule

hashCode() - Method in class org.aspic.inference.Term

hashCode() - Method in class org.aspic.inference.Variable

I

IDN - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

image - Variable in class org.aspic.inference.parser.Token

The string image of the token.

inBuf - Variable in class org.aspic.inference.parser.SimpleCharStream

includesSemanticallyEqual(RuleArgument) - Method in class org.aspic.inference.RuleArgumentList

Check to see if any argument in this list is semantically equal (see Argument.isSemanticallyEqual) to the presented candidate Argument.

includesUnifiable(RuleArgument) - Method in class org.aspic.inference.RuleArgumentList

Check to see if any argument in this list can be unified with the passed argument.

input_stream - Variable in class org.aspic.inference.parser.PrologSyntaxTokenManager

inputStream - Variable in class org.aspic.inference.parser.SimpleCharStream

inspect() - Method in class org.aspic.inference.Binary

inspect() - Method in class org.aspic.inference.Constant

inspect() - Method in class org.aspic.inference.Element

(idea from the Ruby prototype) inspect allows us to see a representation of the text expression that the object is based on.

inspect() - Method in class org.aspic.inference.ElementList

Returns comma delimited string of Elements with no enclosing brackets

inspect() - Method in class org.aspic.inference.KnowledgeBase

Simplified version of inspect(boolean, boolean).

inspect(boolean, boolean) - Method in class org.aspic.inference.KnowledgeBase

inspect() - Method in class org.aspic.inference.ReasonerPair

text version of object.

inspect() - Method in class org.aspic.inference.Rule

inspect(boolean, boolean) - Method in class org.aspic.inference.Rule

A version of inspect that allows you to optionally hide all of the auto generated artifacts.

inspect() - Method in class org.aspic.inference.RuleArgument

A default way of inspecting the argument.

inspect(int) - Method in class org.aspic.inference.RuleArgument

An overloaded version of inspect that provides control over indentation.

inspect() - Method in class org.aspic.inference.RuleArgumentList

Show Names of enclosed Arguments

inspect() - Method in class org.aspic.inference.Substitution

show view of substitution, e.g.

inspect() - Method in class org.aspic.inference.Term

inspect() - Method in class org.aspic.inference.Variable

INT - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

InteractionType - Enum in org.aspic.inference.gui

An enum for Argument interaction types, which also returns a colour for each type.

Is - Class in org.aspic.inference

The "is" unary built-in predicate.

Is() - Constructor for class org.aspic.inference.Is

Default constructor.

Is(Element, Element) - Constructor for class org.aspic.inference.Is

Typical constructor.

IS - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

isAtomic() - Method in class org.aspic.inference.RuleArgument

Virtual getter.

isConsistant() - Method in class org.aspic.inference.Substitution

Check whether this is a clean substitution or whether variable inconsistancies were found along the way.

isEqualModuloVariables(Element) - Method in class org.aspic.inference.Constant

isEqualModuloVariables(Element) - Method in class org.aspic.inference.Term

isFact() - Method in class org.aspic.inference.Rule

Interrogation method to see if this rule actually is a rule, or a rule without a body, which is a fact.

isFactual() - Method in class org.aspic.inference.RuleArgument

Virtual getter.

isGrounded() - Method in class org.aspic.inference.Constant

isGrounded() - Method in class org.aspic.inference.Term

isInfix() - Method in class org.aspic.inference.Binary

Getter for boolean infix flag.

isMainArgument() - Method in class org.aspic.inference.RuleArgument

Virtual getter.

IsolatedTermOrBuiltIn() - Method in class org.aspic.inference.parser.PrologSyntax

Added so that a Knowledge Editor can parse isolated Terms

isRebuttingRestricted() - Method in class org.aspic.inference.KnowledgeBaseSource

Getter for restricted rebutting flag.

isRuleName(Constant) - Method in class org.aspic.inference.KnowledgeBase

Checks whether a rule is a rule name.

isSemanticallyEqual(RuleArgument) - Method in class org.aspic.inference.RuleArgument

Two Arguments are semantically equal iff their conclusions are equal modulo variable names and the same holds for their subarguments.

isStrict() - Method in class org.aspic.inference.Rule

Check whether Rule is defeasible or strict.

isUndefeated() - Method in class org.aspic.inference.Result

Getter for result.

isUnifiable(Element) - Method in class org.aspic.inference.Constant

isUnifiable(Element) - Method in class org.aspic.inference.Element

Return true if this Element can be unified with the passed Element.

isUnifiable(Element) - Method in class org.aspic.inference.ElementList

isUnifiable(RuleArgument) - Method in class org.aspic.inference.RuleArgument

isUnifiable(Element) - Method in class org.aspic.inference.Term

isUnifiable(Element) - Method in class org.aspic.inference.Variable

A Variable can be unified any Element.

isUsingTransposition() - Method in class org.aspic.inference.KnowledgeBase

Inspects whether this KnowledgeBase is transposing strict rules.

iterator() - Method in class org.aspic.inference.ElementList

Provide list iterator

J

jj_nt - Variable in class org.aspic.inference.parser.PrologSyntax

jjFillToken() - Method in class org.aspic.inference.parser.PrologSyntaxTokenManager

jjnewLexState - Static variable in class org.aspic.inference.parser.PrologSyntaxTokenManager

jjstrLiteralImages - Static variable in class org.aspic.inference.parser.PrologSyntaxTokenManager

JungGraphWriter - Class in org.aspic.inference.writers

ReasonerWriter that produces a jung graph visualisation of all arguments in a query proof.

JungGraphWriter(VisualizationViewer) - Constructor for class org.aspic.inference.writers.JungGraphWriter

Constructor.

JungGraphWriter.Layouts - Enum in org.aspic.inference.writers

Available layouts for the JungGraphWriter's viewer.

K

kind - Variable in class org.aspic.inference.parser.Token

An integer that describes the kind of this token.

Knowledge() - Method in class org.aspic.inference.parser.PrologSyntax

KnowledgeBase - Class in org.aspic.inference

A KnowledgeBase collects and indexes Rules.

KnowledgeBase() - Constructor for class org.aspic.inference.KnowledgeBase

default Constructor

KnowledgeBase(Boolean) - Constructor for class org.aspic.inference.KnowledgeBase

Constructor for transposed knowledge base

KnowledgeBase.RuleNameException - Exception in org.aspic.inference

Exception that's raised if a user attempts to add a Rule with a user specified rule name that already exists in the database.

KnowledgeBase.RuleNameException() - Constructor for exception org.aspic.inference.KnowledgeBase.RuleNameException

KnowledgeBaseSource - Class in org.aspic.inference

An argument source that allows arguments to be accessed from a KnowledgeBase.

KnowledgeBaseSource() - Constructor for class org.aspic.inference.KnowledgeBaseSource

Default Constructor.

KnowledgeBaseSource(KnowledgeBase) - Constructor for class org.aspic.inference.KnowledgeBaseSource

Typical constructor.

KnowledgeWriter - Interface in org.aspic.inference.writers

A writer interface for all non abstract knowledge classes.

L

LessThan - Class in org.aspic.inference

The "<" binary evaluator built-in predicate.

LessThan(Element, Element) - Constructor for class org.aspic.inference.LessThan

Typical constructor.

LessThan() - Constructor for class org.aspic.inference.LessThan

Default constructor.

LessThanOrEqualTo - Class in org.aspic.inference

The "=<" binary evaluator built-in predicate.

LessThanOrEqualTo(Element, Element) - Constructor for class org.aspic.inference.LessThanOrEqualTo

Typical constructor.

LessThanOrEqualTo() - Constructor for class org.aspic.inference.LessThanOrEqualTo

Default constructor.

LexicalError(boolean, int, int, int, String, char) - Static method in error org.aspic.inference.parser.TokenMgrError

Returns a detailed message for the Error when it is thrown by the token manager to indicate a lexical error.

lexStateNames - Static variable in class org.aspic.inference.parser.PrologSyntaxTokenManager

line - Variable in class org.aspic.inference.parser.SimpleCharStream

lookingAhead - Variable in class org.aspic.inference.parser.PrologSyntax

LT - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

LTE - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

M

main(String[]) - Static method in class org.aspic.inference.Engine

This class has a console interface that is implemented using the Jakarta commons CLI (http://jakarta.apache.org/commons/cli/) to manage parameters

main(String[]) - Static method in class org.aspic.inference.gui.EngineTester

Start the application

main(String[]) - Static method in class org.aspic.inference.gui.ExceptionDialog

main(String[]) - Static method in class org.aspic.inference.parser.PrologSyntax

This method allows you to run the parser in command line mode, to test it.

makeViewer() - Static method in class org.aspic.inference.writers.JungGraphWriter

Factory for generating an empty, KKLAYOUT visualization viewer that can be used to make a jung graph writer.

makeViewer(JungGraphWriter.Layouts) - Static method in class org.aspic.inference.writers.JungGraphWriter

Factory for generating an empty visualization viewer that can be used to make a jung graph writer.

makeViewer() - Static method in class org.aspic.inference.writers.SimpleJungGraphWriter

Make empty VisualizationViewer which can be refreshed with write(Query) later.

makeViewer() - Static method in class org.aspic.inference.writers.TreeJungGraphWriter

Make empty VisualizationViewer which can be refreshed with write(Argument) later.

maxNextCharInd - Variable in class org.aspic.inference.parser.SimpleCharStream

MINUS - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

Multiplication - Class in org.aspic.inference

The "*" binary built-in predicate.

Multiplication(Element, Element) - Constructor for class org.aspic.inference.Multiplication

Typical constructor.

Multiplication() - Constructor for class org.aspic.inference.Multiplication

Default constructor.

N

NAF - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

NAME - Static variable in class org.aspic.inference.Engine

Engine name

namedRules - Variable in class org.aspic.inference.KnowledgeBase

NEG - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

negation() - Method in class org.aspic.inference.Constant

Get's the negation of this constant, a Term with functor "~", and parameters (functor).

negation() - Method in class org.aspic.inference.ConstantNumber

Not supported.

negation() - Method in class org.aspic.inference.Term

NegationAsFailure - Class in org.aspic.inference

Negation as failure unary operator.

NegationAsFailure(Element) - Constructor for class org.aspic.inference.NegationAsFailure

NEQ - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

newToken(int) - Static method in class org.aspic.inference.parser.Token

Returns a new Token object, by default.

next - Variable in class org.aspic.inference.parser.Token

A reference to the next regular (non-special) token from the input stream.

Nonvar - Class in org.aspic.inference

The "nonvar" unary built-in predicate.

Nonvar() - Constructor for class org.aspic.inference.Nonvar

Default constructor.

Nonvar(Element) - Constructor for class org.aspic.inference.Nonvar

Typical constructor.

NONVAR - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

NotEqualTo - Class in org.aspic.inference

The "\==" binary evaluator built-in predicate.

NotEqualTo(Element, Element) - Constructor for class org.aspic.inference.NotEqualTo

Typical constructor.

NotEqualTo() - Constructor for class org.aspic.inference.NotEqualTo

Default constructor.

numberOfArgs() - Method in class org.aspic.inference.Term

Retrieve size of argList.

O

OneLineArgumentWriter - Class in org.aspic.inference.writers

A ReasonerWriter that writes arguments on a single line like this: [Arg5 : fly(tweety) 0.5 <- [Arg3 : bird(tweety) 0.5 <- Arg1 : penguin(tweety) 0.5, Arg2 : [r2] bird(X) <- penguin(X) 0.5], Arg4 : [r1] fly(X) <- bird(X) 0.5]

OneLineArgumentWriter() - Constructor for class org.aspic.inference.writers.OneLineArgumentWriter

org.aspic.inference - package org.aspic.inference

Top level package for the ASPIC Argumentation Engine.

org.aspic.inference.gui - package org.aspic.inference.gui

Experimental GUI to help with testing and dissemination.

org.aspic.inference.parser - package org.aspic.inference.parser

Classes for interpreting Argumentation System (AS) syntax, known here as PrologSyntax.

org.aspic.inference.writers - package org.aspic.inference.writers

Classes for writing the contents of KnowledgeBases, Arguments and Queries.

outstream - Variable in class org.aspic.inference.writers.PrologSyntaxKnowledgeWriter

P

paintIcon(Component, Graphics, int, int) - Method in class org.aspic.inference.gui.ArgumentVertex.ArgumentVertexIcon

Renders a box of argument details, as is used in graphviz viewers.

Param() - Method in class org.aspic.inference.parser.PrologSyntax

ParamList() - Method in class org.aspic.inference.parser.PrologSyntax

ParseException - Exception in org.aspic.inference.parser

This exception is thrown when parse errors are encountered.

ParseException(Token, int[][], String[]) - Constructor for exception org.aspic.inference.parser.ParseException

This constructor is used by the method "generateParseException" in the generated parser.

ParseException() - Constructor for exception org.aspic.inference.parser.ParseException

The following constructors are for use by you for whatever purpose you can think of.

ParseException(String) - Constructor for exception org.aspic.inference.parser.ParseException

Party - Enum in org.aspic.inference

Enum representing the two parties in a dialectical proof.

PLUS - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

Predicate - Class in org.aspic.inference

A Predicate provides a meta-view of a Constant and is used in the KnowledgeBase class to represent it's contents.

Predicate() - Constructor for class org.aspic.inference.Predicate

Default constructor.

Predicate(String, int) - Constructor for class org.aspic.inference.Predicate

Typical constructor.

predicates - Variable in class org.aspic.inference.KnowledgeBase

prevCharIsCR - Variable in class org.aspic.inference.parser.SimpleCharStream

prevCharIsLF - Variable in class org.aspic.inference.parser.SimpleCharStream

PrologSyntax - Class in org.aspic.inference.parser

JavaCC generated Parser from grammar file, PrologSyntax.jj.

PrologSyntax(InputStream) - Constructor for class org.aspic.inference.parser.PrologSyntax

PrologSyntax(InputStream, String) - Constructor for class org.aspic.inference.parser.PrologSyntax

PrologSyntax(Reader) - Constructor for class org.aspic.inference.parser.PrologSyntax

PrologSyntax(PrologSyntaxTokenManager) - Constructor for class org.aspic.inference.parser.PrologSyntax

PrologSyntaxConstants - Interface in org.aspic.inference.parser

PrologSyntaxKnowledgeWriter - Class in org.aspic.inference.writers

A writer that outputs the PrologSyntax input.

PrologSyntaxKnowledgeWriter(Writer) - Constructor for class org.aspic.inference.writers.PrologSyntaxKnowledgeWriter

PrologSyntaxKnowledgeWriter(Writer, boolean, boolean) - Constructor for class org.aspic.inference.writers.PrologSyntaxKnowledgeWriter

PrologSyntaxTokenManager - Class in org.aspic.inference.parser

PrologSyntaxTokenManager(SimpleCharStream) - Constructor for class org.aspic.inference.parser.PrologSyntaxTokenManager

PrologSyntaxTokenManager(SimpleCharStream, int) - Constructor for class org.aspic.inference.parser.PrologSyntaxTokenManager

Q

Query - Class in org.aspic.inference

A Query uses a Reasoner to evaluate a query expression.

R

RawKnowledgeWriter - Class in org.aspic.inference.writers

This Writer is a variation of PrologSyntaxKnowledgeWriter, which it extends by overwriting the write(KnowledgeBase) method.

RawKnowledgeWriter(Writer) - Constructor for class org.aspic.inference.writers.RawKnowledgeWriter

readChar() - Method in class org.aspic.inference.parser.SimpleCharStream

Reasoner - Enum in org.aspic.inference

Enumeration of known Reasoners, with a createReasoner() factory method built in.

ReasonerException - Exception in org.aspic.inference

This exception should be raised if the reasoner fails

ReasonerException(String) - Constructor for exception org.aspic.inference.ReasonerException

ReasonerException(String, Throwable) - Constructor for exception org.aspic.inference.ReasonerException

ReasonerPair - Class in org.aspic.inference

A Reasoner Pair is a pair ArgumentLists, PRO and OPP.

ReasonerPair() - Constructor for class org.aspic.inference.ReasonerPair

ReasonerPair(RuleArgumentList, RuleArgumentList) - Constructor for class org.aspic.inference.ReasonerPair

ReasonerWriter - Interface in org.aspic.inference.writers

A writer interface for all non abstract reasoner classes.

ReInit(InputStream) - Method in class org.aspic.inference.parser.PrologSyntax

ReInit(InputStream, String) - Method in class org.aspic.inference.parser.PrologSyntax

ReInit(Reader) - Method in class org.aspic.inference.parser.PrologSyntax

ReInit(PrologSyntaxTokenManager) - Method in class org.aspic.inference.parser.PrologSyntax

ReInit(SimpleCharStream) - Method in class org.aspic.inference.parser.PrologSyntaxTokenManager

ReInit(SimpleCharStream, int) - Method in class org.aspic.inference.parser.PrologSyntaxTokenManager

ReInit(Reader, int, int, int) - Method in class org.aspic.inference.parser.SimpleCharStream

ReInit(Reader, int, int) - Method in class org.aspic.inference.parser.SimpleCharStream

ReInit(Reader) - Method in class org.aspic.inference.parser.SimpleCharStream

ReInit(InputStream, String, int, int, int) - Method in class org.aspic.inference.parser.SimpleCharStream

ReInit(InputStream, int, int, int) - Method in class org.aspic.inference.parser.SimpleCharStream

ReInit(InputStream, String) - Method in class org.aspic.inference.parser.SimpleCharStream

ReInit(InputStream) - Method in class org.aspic.inference.parser.SimpleCharStream

ReInit(InputStream, String, int, int) - Method in class org.aspic.inference.parser.SimpleCharStream

ReInit(InputStream, int, int) - Method in class org.aspic.inference.parser.SimpleCharStream

remove(int) - Method in class org.aspic.inference.ConstantList

Remove Constant at specified index.

remove(int) - Method in class org.aspic.inference.ElementList

remove Element at position index

removeRule(Rule) - Method in class org.aspic.inference.KnowledgeBase

Remove explicitly stated Rule and any associated autoGenerated rules from KnowledgeBase.

reset() - Method in class org.aspic.inference.writers.ClaimWriter

resetArgCounter() - Static method in class org.aspic.inference.RuleArgument

Reset internal counter that assigns argument numbers.

resetDocument() - Method in class org.aspic.inference.writers.AIFXMLWriter

resetDocument() - Method in class org.aspic.inference.writers.GMLWriter

resetDocument() - Method in class org.aspic.inference.writers.GraphvizWriter

resetDocument() - Method in class org.aspic.inference.writers.SimpleGraphvizWriter

Result - Class in org.aspic.inference

Simple data class for representing a match to a Query expression.

Rule - Class in org.aspic.inference

A Rule is a specialised Term, rule/4.

Rule() - Constructor for class org.aspic.inference.Rule

Default constructor.

Rule(Constant) - Constructor for class org.aspic.inference.Rule

Constructor for a fact

Rule(Constant, Double) - Constructor for class org.aspic.inference.Rule

Constructor for a belief (a defeasible assertion, with belief less than 1.0)

Rule(Constant, ElementList) - Constructor for class org.aspic.inference.Rule

Constructor for a strict rule

Rule(Constant, ElementList, Double) - Constructor for class org.aspic.inference.Rule

Constructor for a defeasible rule

Rule(Constant, ElementList, Double, Constant) - Constructor for class org.aspic.inference.Rule

General purpose constructor

RuleArgument - Class in org.aspic.inference

Class for representing Arguments.

RuleArgument(Rule, Double, Substitution, RuleArgumentList, Party, int, int, RuleArgumentValuator, boolean) - Constructor for class org.aspic.inference.RuleArgument

Argument construction is recursive.

RuleArgument.Status - Enum in org.aspic.inference

Enumeration of possible Argument status values, as defined within the context of a particular Query.

RuleArgumentList - Class in org.aspic.inference

A List of Arguments and a Substitution that is common to those Arguments.

RuleArgumentList() - Constructor for class org.aspic.inference.RuleArgumentList

Default constructor.

RuleArgumentList(List<RuleArgument>, Substitution) - Constructor for class org.aspic.inference.RuleArgumentList

Typical constructor.

RuleArgumentValuator - Interface in org.aspic.inference

An interface for valuating rule arguments.

ruleIterator() - Method in class org.aspic.inference.KnowledgeBase

Get's a rule iterator.

rulesMap - Variable in class org.aspic.inference.KnowledgeBase

ruleTag() - Method in class org.aspic.inference.Constant

Used as the key in KnowledgeBase.rulesMap.

ruleTag() - Method in class org.aspic.inference.Term

S

set(int, Constant) - Method in class org.aspic.inference.ConstantList

Add new Constant to specified index in ConstantList (overwrites existing Constant).

set(int, Element) - Method in class org.aspic.inference.ElementList

set new Element to ElementList at specified index

setAntecedent(ElementList) - Method in class org.aspic.inference.Rule

Setter for Rule's antecedent.

setArg(int, Element) - Method in class org.aspic.inference.Term

Overwrite's an existing position in the Term's argList.

setArgList(ElementList) - Method in class org.aspic.inference.Term

setArity(int) - Method in class org.aspic.inference.Predicate

Setter for arity.

setCaption(String) - Method in class org.aspic.inference.Rule

Setter for caption.

setClaimCaption(String) - Method in class org.aspic.inference.Rule

setClaimDescription(String) - Method in class org.aspic.inference.Rule

setConsequent(Constant) - Method in class org.aspic.inference.Rule

Setter for the Rule's consequent.

setDebugStream(PrintStream) - Method in class org.aspic.inference.parser.PrologSyntaxTokenManager

setDescription(String) - Method in class org.aspic.inference.Rule

Setter for description.

setDob(Double) - Method in class org.aspic.inference.Rule

Setter for Rule's Degree of Belief.

setEstimatedHeight(int) - Method in class org.aspic.inference.gui.ArgumentVertex

setEstimatedWidth(int) - Method in class org.aspic.inference.gui.ArgumentVertex

setFunctor(String) - Method in class org.aspic.inference.Constant

Simple setter of functor.

setFunctor(String) - Method in class org.aspic.inference.Predicate

Setter for functor.

setId(long) - Method in class org.aspic.inference.Element

Setter for Persistance ID.

setInfix(boolean) - Method in class org.aspic.inference.Binary

Setter for boolean infix field.

setKnowledgeBase(KnowledgeBase) - Method in class org.aspic.inference.Element

When a rule is added to a knowledgeBase this method should be called on all the rule's sub-elements so that it's properly integrated into the kb.

setKnowledgeBase(KnowledgeBase) - Method in class org.aspic.inference.ElementList

setKnowledgeBase(KnowledgeBase) - Method in class org.aspic.inference.KnowledgeBaseSource

Setter for encapsulated knoweldge base.

setKnowledgeBase(KnowledgeBase) - Method in class org.aspic.inference.Term

setLeft(Element) - Method in class org.aspic.inference.Binary

Setter for left operand.

setList(List<Element>) - Method in class org.aspic.inference.ElementList

setName(Constant) - Method in class org.aspic.inference.Rule

Setter for Rule name.

setName(String) - Method in class org.aspic.inference.Variable

Setter for name.

setNumber(double) - Method in class org.aspic.inference.ConstantFloat

Simple setter for number.

setNumber(int) - Method in class org.aspic.inference.ConstantInteger

Setter for number.

setNumber(Number) - Method in class org.aspic.inference.ConstantNumber

Basic Setter for number.

setOperand(Element) - Method in class org.aspic.inference.Unary

Setter for operand.

setProperty(Engine.Property, Enum) - Method in class org.aspic.inference.Engine

Set Property value.

setRebuttingRestricted(boolean) - Method in class org.aspic.inference.KnowledgeBaseSource

Setter for restricted rebutting flag.

setRight(Element) - Method in class org.aspic.inference.Binary

Setter for right operand.

setStatus(RuleArgument.Status) - Method in class org.aspic.inference.RuleArgument

Sets the status of the argument.

setTabSize(int) - Method in class org.aspic.inference.parser.SimpleCharStream

setUsingTransposition(boolean) - Method in class org.aspic.inference.KnowledgeBase

setValuator(Valuator) - Method in class org.aspic.inference.KnowledgeBaseSource

Setter for valuator.

showAutoGeneratedRuleNames - Variable in class org.aspic.inference.writers.PrologSyntaxKnowledgeWriter

showDialog(String, String, Exception) - Method in class org.aspic.inference.gui.ExceptionDialog

showDialog(String, String, Exception, int, int) - Method in class org.aspic.inference.gui.ExceptionDialog

showDialog(String, String, String) - Method in class org.aspic.inference.gui.ExceptionDialog

showDialog(String, String, String, int, int) - Method in class org.aspic.inference.gui.ExceptionDialog

showRuleHooks - Variable in class org.aspic.inference.writers.PrologSyntaxKnowledgeWriter

SimpleCharStream - Class in org.aspic.inference.parser

An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).

SimpleCharStream(Reader, int, int, int) - Constructor for class org.aspic.inference.parser.SimpleCharStream

SimpleCharStream(Reader, int, int) - Constructor for class org.aspic.inference.parser.SimpleCharStream

SimpleCharStream(Reader) - Constructor for class org.aspic.inference.parser.SimpleCharStream

SimpleCharStream(InputStream, String, int, int, int) - Constructor for class org.aspic.inference.parser.SimpleCharStream

SimpleCharStream(InputStream, int, int, int) - Constructor for class org.aspic.inference.parser.SimpleCharStream

SimpleCharStream(InputStream, String, int, int) - Constructor for class org.aspic.inference.parser.SimpleCharStream

SimpleCharStream(InputStream, int, int) - Constructor for class org.aspic.inference.parser.SimpleCharStream

SimpleCharStream(InputStream, String) - Constructor for class org.aspic.inference.parser.SimpleCharStream

SimpleCharStream(InputStream) - Constructor for class org.aspic.inference.parser.SimpleCharStream

SimpleGraphvizWriter - Class in org.aspic.inference.writers

A writer for DOT.

SimpleGraphvizWriter() - Constructor for class org.aspic.inference.writers.SimpleGraphvizWriter

SimpleGraphvizWriter(boolean) - Constructor for class org.aspic.inference.writers.SimpleGraphvizWriter

SimpleJungGraphWriter - Class in org.aspic.inference.writers

ReasonerWriter that produces a jung graph visualisation of the main arguments in a query proof.

SimpleJungGraphWriter(VisualizationViewer) - Constructor for class org.aspic.inference.writers.SimpleJungGraphWriter

Constructor.

SINGLE_LINE_COMMENT - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

size() - Method in class org.aspic.inference.ElementList

Retrieve size of list

size() - Method in class org.aspic.inference.Substitution

Size of substitution.

specialConstructor - Variable in exception org.aspic.inference.parser.ParseException

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

specialToken - Variable in class org.aspic.inference.parser.Token

This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.

staticFlag - Static variable in class org.aspic.inference.parser.SimpleCharStream

subArgumentIterator() - Method in class org.aspic.inference.RuleArgument

Accesses all sub arguments for this argument (including itself).

Substitution - Class in org.aspic.inference

Captures the substitutions made in developing a particular Argument.

Substitution() - Constructor for class org.aspic.inference.Substitution

Default constructor.

Subtraction - Class in org.aspic.inference

The "-" binary evaluator built-in predicate.

Subtraction(Element, Element) - Constructor for class org.aspic.inference.Subtraction

Typical constructor.

Subtraction() - Constructor for class org.aspic.inference.Subtraction

Default constructor.

SwitchTo(int) - Method in class org.aspic.inference.parser.PrologSyntaxTokenManager

T

tabSize - Variable in class org.aspic.inference.parser.SimpleCharStream

Term() - Method in class org.aspic.inference.parser.PrologSyntax

Term - Class in org.aspic.inference

A Term uses the inherited Constant's functor as it's predicate name and adds an additional list of arguments, argList.

Term() - Constructor for class org.aspic.inference.Term

Default Constructor.

Term(String, ElementList) - Constructor for class org.aspic.inference.Term

Typical Constructor.

Term(String, Element...) - Constructor for class org.aspic.inference.Term

Constructor using Java 5 varargs, mainly for internal use (via Rule)

TermList() - Method in class org.aspic.inference.parser.PrologSyntax

TermOrBuiltIn() - Method in class org.aspic.inference.parser.PrologSyntax

TIMES - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

token - Variable in class org.aspic.inference.parser.PrologSyntax

Token - Class in org.aspic.inference.parser

Describes the input token stream.

Token() - Constructor for class org.aspic.inference.parser.Token

token_source - Variable in class org.aspic.inference.parser.PrologSyntax

tokenImage - Variable in exception org.aspic.inference.parser.ParseException

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

tokenImage - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

TokenMgrError - Error in org.aspic.inference.parser

TokenMgrError() - Constructor for error org.aspic.inference.parser.TokenMgrError

TokenMgrError(String, int) - Constructor for error org.aspic.inference.parser.TokenMgrError

TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error org.aspic.inference.parser.TokenMgrError

toString() - Method in class org.aspic.inference.Element

toString() - Method in class org.aspic.inference.gui.ArgumentVertex

toString() - Method in class org.aspic.inference.KnowledgeBase

Override the standard Object method with a view of the knowledgebase that shows the rule Index output of the form : ruleTag, arity, index : "rule"

toString() - Method in class org.aspic.inference.parser.Token

Returns the image.

toString() - Method in class org.aspic.inference.Result

toString() - Method in class org.aspic.inference.RuleArgument

toString() - Method in class org.aspic.inference.writers.ArgumentBackingQueryWriter

toString() - Method in class org.aspic.inference.writers.ArgumentCaptionWriter

toString() - Method in class org.aspic.inference.writers.ClaimWriter

toString() - Method in class org.aspic.inference.writers.EditableContentWriter

toString() - Method in class org.aspic.inference.writers.GMLWriter

toString() - Method in class org.aspic.inference.writers.GraphvizWriter

toString() - Method in class org.aspic.inference.writers.OneLineArgumentWriter

toString() - Method in class org.aspic.inference.writers.SimpleGraphvizWriter

transposedRules - Variable in class org.aspic.inference.KnowledgeBase

TreeJungGraphWriter - Class in org.aspic.inference.writers

ReasonerWriter that produces a jung tree visualisation for a single Argument Tree.

TreeJungGraphWriter(VisualizationViewer) - Constructor for class org.aspic.inference.writers.TreeJungGraphWriter

Constructor.

U

Unary - Class in org.aspic.inference

Abstract class for unary built-in predicates.

Unary() - Constructor for class org.aspic.inference.Unary

Default constructor.

Unary(String, Element) - Constructor for class org.aspic.inference.Unary

Typical constructor.

unify(Element, Substitution) - Method in class org.aspic.inference.Constant

unify(Element, Substitution) - Method in class org.aspic.inference.Element

Try to unify this Element with another Element, using passed substitution as a starting point.

unify(Element, Substitution) - Method in class org.aspic.inference.ElementList

unify(Element, Substitution) - Method in class org.aspic.inference.Term

unify(Element, Substitution) - Method in class org.aspic.inference.Variable

Return substitution extended with this variable + Element.

UpdateLineColumn(char) - Method in class org.aspic.inference.parser.SimpleCharStream

usingTransposition - Variable in class org.aspic.inference.KnowledgeBase

V

valuate(RuleArgument) - Method in interface org.aspic.inference.RuleArgumentValuator

Valuate a single RuleArgument.

valuate(RuleArgumentList) - Method in interface org.aspic.inference.RuleArgumentValuator

Valuate a RuleArgumentList.

Valuator - Enum in org.aspic.inference

Enumeration of known Valuators, with a createValuator() factory method built in.

valueOf(String) - Static method in enum org.aspic.inference.Engine.OnOff

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.aspic.inference.Engine.Property

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.aspic.inference.gui.InteractionType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.aspic.inference.Party

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.aspic.inference.Reasoner

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.aspic.inference.RuleArgument.Status

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.aspic.inference.Valuator

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.aspic.inference.writers.JungGraphWriter.Layouts

Returns the enum constant of this type with the specified name.

values() - Static method in enum org.aspic.inference.Engine.OnOff

Returns an array containing the constants of this enum type, in the order they're declared.

values() - Static method in enum org.aspic.inference.Engine.Property

Returns an array containing the constants of this enum type, in the order they're declared.

values() - Static method in enum org.aspic.inference.gui.InteractionType

Returns an array containing the constants of this enum type, in the order they're declared.

values() - Static method in enum org.aspic.inference.Party

Returns an array containing the constants of this enum type, in the order they're declared.

values() - Static method in enum org.aspic.inference.Reasoner

Returns an array containing the constants of this enum type, in the order they're declared.

values() - Static method in enum org.aspic.inference.RuleArgument.Status

Returns an array containing the constants of this enum type, in the order they're declared.

values() - Static method in enum org.aspic.inference.Valuator

Returns an array containing the constants of this enum type, in the order they're declared.

values() - Static method in enum org.aspic.inference.writers.JungGraphWriter.Layouts

Returns an array containing the constants of this enum type, in the order they're declared.

VAR - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

Variable - Class in org.aspic.inference

A Variable is an ungrounded placeholder, used within a rule or within a query predicate expression that is grounded during the process of argument discovery.

Variable(String) - Constructor for class org.aspic.inference.Variable

Typical Constructor.

Variable() - Constructor for class org.aspic.inference.Variable

Default constructor.

variables() - Method in class org.aspic.inference.Substitution

Returns the a list of valid variables in this substitution.

VERSION - Static variable in class org.aspic.inference.Engine

Engine version

W

WithinMultiLineComment - Static variable in interface org.aspic.inference.parser.PrologSyntaxConstants

write(KnowledgeWriter) - Method in class org.aspic.inference.Constant

write(KnowledgeWriter) - Method in class org.aspic.inference.Element

Using the Visitor pattern, this method allows the details of an Element to be written in different ways.

write(KnowledgeWriter) - Method in class org.aspic.inference.ElementList

write(KnowledgeWriter) - Method in class org.aspic.inference.KnowledgeBase

Using the Visitor pattern, this method allows the details of this KnowledgeBase to be written in different ways.

write(ReasonerWriter) - Method in class org.aspic.inference.Query

Accept an ArgumentWriter object so that a query can be rendered in more than one way without needing multiple writePlainText, writeHTML etc methods.

write(ReasonerWriter) - Method in class org.aspic.inference.ReasonerPair

Allow ReasonerWriter access to this object

write(KnowledgeWriter) - Method in class org.aspic.inference.Rule

write(ReasonerWriter) - Method in class org.aspic.inference.RuleArgument

write(ReasonerWriter) - Method in class org.aspic.inference.RuleArgumentList

write(ReasonerWriter) - Method in class org.aspic.inference.Substitution

Allows multiple serialisations of this class.

write(KnowledgeWriter) - Method in class org.aspic.inference.Term

write(KnowledgeWriter) - Method in class org.aspic.inference.Variable

write(Query) - Method in class org.aspic.inference.writers.AIFXMLWriter

write(RuleArgument) - Method in class org.aspic.inference.writers.AIFXMLWriter

write(RuleArgumentList) - Method in class org.aspic.inference.writers.AIFXMLWriter

write(Substitution) - Method in class org.aspic.inference.writers.AIFXMLWriter

write(ReasonerPair) - Method in class org.aspic.inference.writers.AIFXMLWriter

write(Query) - Method in class org.aspic.inference.writers.ArgumentBackingQueryWriter

write(RuleArgument) - Method in class org.aspic.inference.writers.ArgumentBackingQueryWriter

write(RuleArgumentList) - Method in class org.aspic.inference.writers.ArgumentBackingQueryWriter

write(Substitution) - Method in class org.aspic.inference.writers.ArgumentBackingQueryWriter

write(ReasonerPair) - Method in class org.aspic.inference.writers.ArgumentBackingQueryWriter

write(Constant) - Method in class org.aspic.inference.writers.ArgumentBackingQueryWriter

write(ElementList) - Method in class org.aspic.inference.writers.ArgumentBackingQueryWriter

write(Rule) - Method in class org.aspic.inference.writers.ArgumentBackingQueryWriter

write(Term) - Method in class org.aspic.inference.writers.ArgumentBackingQueryWriter

write(Variable) - Method in class org.aspic.inference.writers.ArgumentBackingQueryWriter

write(KnowledgeBase) - Method in class org.aspic.inference.writers.ArgumentBackingQueryWriter

write(Query) - Method in class org.aspic.inference.writers.ArgumentCaptionWriter

write(RuleArgument) - Method in class org.aspic.inference.writers.ArgumentCaptionWriter

write(RuleArgumentList) - Method in class org.aspic.inference.writers.ArgumentCaptionWriter

write(Substitution) - Method in class org.aspic.inference.writers.ArgumentCaptionWriter

write(ReasonerPair) - Method in class org.aspic.inference.writers.ArgumentCaptionWriter

write(Query) - Method in class org.aspic.inference.writers.ClaimWriter

write(RuleArgument) - Method in class org.aspic.inference.writers.ClaimWriter

write(RuleArgumentList) - Method in class org.aspic.inference.writers.ClaimWriter

write(Substitution) - Method in class org.aspic.inference.writers.ClaimWriter

write(ReasonerPair) - Method in class org.aspic.inference.writers.ClaimWriter

write(Query) - Method in class org.aspic.inference.writers.EditableContentWriter

write(RuleArgument) - Method in class org.aspic.inference.writers.EditableContentWriter

write(RuleArgumentList) - Method in class org.aspic.inference.writers.EditableContentWriter

write(Substitution) - Method in class org.aspic.inference.writers.EditableContentWriter

write(ReasonerPair) - Method in class org.aspic.inference.writers.EditableContentWriter

write(Constant) - Method in class org.aspic.inference.writers.EditableContentWriter

write(ElementList) - Method in class org.aspic.inference.writers.EditableContentWriter

write(Rule) - Method in class org.aspic.inference.writers.EditableContentWriter

write(Term) - Method in class org.aspic.inference.writers.EditableContentWriter

write(Variable) - Method in class org.aspic.inference.writers.EditableContentWriter

write(KnowledgeBase) - Method in class org.aspic.inference.writers.EditableContentWriter

write(Query) - Method in class org.aspic.inference.writers.GMLWriter

write(RuleArgument) - Method in class org.aspic.inference.writers.GMLWriter

write(RuleArgumentList) - Method in class org.aspic.inference.writers.GMLWriter

write(Substitution) - Method in class org.aspic.inference.writers.GMLWriter

write(ReasonerPair) - Method in class org.aspic.inference.writers.GMLWriter

write(Query) - Method in class org.aspic.inference.writers.GraphvizWriter

write(RuleArgument) - Method in class org.aspic.inference.writers.GraphvizWriter

write(RuleArgumentList) - Method in class org.aspic.inference.writers.GraphvizWriter

write(Substitution) - Method in class org.aspic.inference.writers.GraphvizWriter

write(ReasonerPair) - Method in class org.aspic.inference.writers.GraphvizWriter

write(Query) - Method in class org.aspic.inference.writers.JungGraphWriter

write(RuleArgument) - Method in class org.aspic.inference.writers.JungGraphWriter

write(RuleArgumentList) - Method in class org.aspic.inference.writers.JungGraphWriter

write(Substitution) - Method in class org.aspic.inference.writers.JungGraphWriter

write(ReasonerPair) - Method in class org.aspic.inference.writers.JungGraphWriter

write(Constant) - Method in interface org.aspic.inference.writers.KnowledgeWriter

write(ElementList) - Method in interface org.aspic.inference.writers.KnowledgeWriter

write(Rule) - Method in interface org.aspic.inference.writers.KnowledgeWriter

write(Term) - Method in interface org.aspic.inference.writers.KnowledgeWriter

write(Variable) - Method in interface org.aspic.inference.writers.KnowledgeWriter

write(KnowledgeBase) - Method in interface org.aspic.inference.writers.KnowledgeWriter

write(Query) - Method in class org.aspic.inference.writers.OneLineArgumentWriter

write(RuleArgument) - Method in class org.aspic.inference.writers.OneLineArgumentWriter

write(RuleArgumentList) - Method in class org.aspic.inference.writers.OneLineArgumentWriter

write(Substitution) - Method in class org.aspic.inference.writers.OneLineArgumentWriter

write(ReasonerPair) - Method in class org.aspic.inference.writers.OneLineArgumentWriter

write(Constant) - Method in class org.aspic.inference.writers.PrologSyntaxKnowledgeWriter

write(ElementList) - Method in class org.aspic.inference.writers.PrologSyntaxKnowledgeWriter

write(Rule) - Method in class org.aspic.inference.writers.PrologSyntaxKnowledgeWriter

write(Term) - Method in class org.aspic.inference.writers.PrologSyntaxKnowledgeWriter

write(Variable) - Method in class org.aspic.inference.writers.PrologSyntaxKnowledgeWriter

write(KnowledgeBase) - Method in class org.aspic.inference.writers.PrologSyntaxKnowledgeWriter

write(KnowledgeBase) - Method in class org.aspic.inference.writers.RawKnowledgeWriter

write(Query) - Method in interface org.aspic.inference.writers.ReasonerWriter

write(RuleArgument) - Method in interface org.aspic.inference.writers.ReasonerWriter

write(RuleArgumentList) - Method in interface org.aspic.inference.writers.ReasonerWriter

write(Substitution) - Method in interface org.aspic.inference.writers.ReasonerWriter

write(ReasonerPair) - Method in interface org.aspic.inference.writers.ReasonerWriter

write(Query) - Method in class org.aspic.inference.writers.SimpleGraphvizWriter

write(RuleArgument) - Method in class org.aspic.inference.writers.SimpleGraphvizWriter

write(RuleArgumentList) - Method in class org.aspic.inference.writers.SimpleGraphvizWriter

write(Substitution) - Method in class org.aspic.inference.writers.SimpleGraphvizWriter

write(ReasonerPair) - Method in class org.aspic.inference.writers.SimpleGraphvizWriter

write(Query) - Method in class org.aspic.inference.writers.SimpleJungGraphWriter

write(RuleArgument) - Method in class org.aspic.inference.writers.SimpleJungGraphWriter

write(RuleArgumentList) - Method in class org.aspic.inference.writers.SimpleJungGraphWriter

write(Substitution) - Method in class org.aspic.inference.writers.SimpleJungGraphWriter

write(ReasonerPair) - Method in class org.aspic.inference.writers.SimpleJungGraphWriter

write(Query) - Method in class org.aspic.inference.writers.TreeJungGraphWriter

write(RuleArgument) - Method in class org.aspic.inference.writers.TreeJungGraphWriter

write(RuleArgumentList) - Method in class org.aspic.inference.writers.TreeJungGraphWriter

write(Substitution) - Method in class org.aspic.inference.writers.TreeJungGraphWriter

write(ReasonerPair) - Method in class org.aspic.inference.writers.TreeJungGraphWriter

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