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

A

AbsBuiltin - Class in jdrew.oo.builtins

Implements a abs (absolute value) built-in relation.

AbsBuiltin() - Constructor for class jdrew.oo.builtins.AbsBuiltin

AddBuiltin - Class in jdrew.oo.builtins

Implements a add built-in relation.

AddBuiltin() - Constructor for class jdrew.oo.builtins.AddBuiltin

append(LoggingEvent) - Method in class jdrew.oo.gui.TextPaneAppender

APPLY_TO_GOAL - Static variable in class jdrew.oo.td.BackwardReasoner.SubGoalListIterator

APPLY_TO_GOAL_AND_GOALLIST - Static variable in class jdrew.oo.td.BackwardReasoner.SubGoalListIterator

APPLY_TO_GOALLIST - Static variable in class jdrew.oo.td.BackwardReasoner.SubGoalListIterator

applyToGoal() - Method in class jdrew.oo.td.Unifier

Used to apply the variable bindings to the current goal.

applyToGoalList() - Method in class jdrew.oo.td.Unifier

Used to apply variable bindings to the sub goal list.

ARROW - Static variable in interface jdrew.oo.util.parsing.POSLParserTokenTypes

assertatom() - Method in class jdrew.oo.util.parsing.POSLParser

AssertBuiltin - Class in jdrew.oo.bu.builtins

The class implements a "builtin" for asserting a new clause into the running knowledge base.

AssertBuiltin(ForwardReasoner) - Constructor for class jdrew.oo.bu.builtins.AssertBuiltin

Constructs a new object to implement the assert built-in relation.

AssertBuiltin - Class in jdrew.oo.td.builtins

The class implements a "builtin" for asserting a new clause into the running knowledge base.

AssertBuiltin(BackwardReasoner) - Constructor for class jdrew.oo.td.builtins.AssertBuiltin

Constructs a new object to implement the assert built-in relation.

atom(boolean) - Method in class jdrew.oo.util.parsing.POSLParser

atom - Variable in class jdrew.oo.util.Term

This is used to tell if the Term is an atom or not.

atomCount - Variable in class jdrew.oo.td.BackwardReasoner.GoalList

atoms - Variable in class jdrew.oo.td.BackwardReasoner.GoalList

atoms - Variable in class jdrew.oo.util.DefiniteClause

Contains the Term objects that represent the Atoms of the clause.

atoms(Vector) - Method in class jdrew.oo.util.parsing.POSLParser