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

A

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

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

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

AbsBuiltin - class jdrew.oo.builtins.AbsBuiltin.

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

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

AddBuiltin - class jdrew.oo.builtins.AddBuiltin.

Title: OO jDREW

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

AssertBuiltin - class jdrew.oo.bu.builtins.AssertBuiltin.

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 jdrew.oo.td.builtins.AssertBuiltin.

Title: OO jDREW

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

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

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.

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.

B

BUBuiltin - class jdrew.oo.bu.builtins.BUBuiltin.

This class allows the use of generic built-ins (Classes that properly implement the jdrew.oo.builtins.Builtin Interface) within the Bottom-Up (BU) engine.

BUBuiltin() - Constructor for class jdrew.oo.bu.builtins.BUBuiltin

Constructs a new empty Bottom-up built-in.

BUBuiltin(Builtin) - Constructor for class jdrew.oo.bu.builtins.BUBuiltin

Constructs a new Bottom-Up built-in.

BackwardReasoner - class jdrew.oo.td.BackwardReasoner.

Based upon the backward reasoner from the original jDREW by Bruce Spencer.

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

BackwardReasoner(Hashtable, Hashtable) - Constructor for class jdrew.oo.td.BackwardReasoner

BackwardReasoner.DepthFirstSolutionIterator - class jdrew.oo.td.BackwardReasoner.DepthFirstSolutionIterator.

Title: OO jDREW

BackwardReasoner.Goal - class jdrew.oo.td.BackwardReasoner.Goal.

Goal - contains an atom (atomic formula) to be solved.

BackwardReasoner.GoalList - class jdrew.oo.td.BackwardReasoner.GoalList.

GoalList - contains a list of Goals and is attached to a specific Goal which is called its parent.

BackwardReasoner.IterativeDepthFirstSolutionIterator - class jdrew.oo.td.BackwardReasoner.IterativeDepthFirstSolutionIterator.

Title: OO jDREW

BackwardReasoner.SubGoalListIterator - class jdrew.oo.td.BackwardReasoner.SubGoalListIterator.

Title: OO jDREW

BottomUpGUI - class jdrew.oo.gui.BottomUpGUI.

This class implements a GUI front-end for the OO jDREW Bottom up module.

BottomUpGUI() - Constructor for class jdrew.oo.gui.BottomUpGUI

Creates new form BottomUpGUI

Builtin - interface jdrew.oo.builtins.Builtin.

Title: OO jDREW

buildResult(DefiniteClause, int) - Method in class jdrew.oo.bu.builtins.AssertBuiltin

This method performs the actions necessary to implement the assert built-in relation.

buildResult(DefiniteClause, int) - Method in class jdrew.oo.bu.builtins.BUBuiltin

Builds the resulting fact from the call to this built-in if it exists.

buildResult(Term) - Method in class jdrew.oo.builtins.AbsBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.AddBuiltin

buildResult(Term) - Method in interface jdrew.oo.builtins.Builtin

buildResult(Term) - Method in class jdrew.oo.builtins.CeilingBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.ContainsBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.ContainsIgnoreCaseBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.CosBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.DivideBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.EndsWithBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.EqualBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.FloorBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.GreaterThanBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.GreaterThanOrEqualBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.IntegerDivideBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.LessThanBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.LessThanOrEqualBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.ModBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.MultiplyBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.NotEqualBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.PowBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.RoundBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.SinBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.StartsWithBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.StringConcatBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.StringEqualIgnoreCaseBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.StringLengthBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.StringLowerCaseBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.StringUpperCaseBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.SubstringBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.SubtractBuiltin

buildResult(Term) - Method in class jdrew.oo.builtins.TanBuiltin

buildResult(BackwardReasoner.GoalList, int) - Method in class jdrew.oo.td.builtins.AssertBuiltin

buildResult(BackwardReasoner.GoalList, int) - Method in class jdrew.oo.td.builtins.RegisterBuiltin

buildResult(BackwardReasoner.GoalList, int) - Method in class jdrew.oo.td.builtins.TDBuiltin

C

CeilingBuiltin - class jdrew.oo.builtins.CeilingBuiltin.

Title: OO jDREW

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

Config - class jdrew.oo.Config.

Title: OO jDREW

Config() - Constructor for class jdrew.oo.Config

ContainsBuiltin - class jdrew.oo.builtins.ContainsBuiltin.

Title: OO jDREW

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

ContainsIgnoreCaseBuiltin - class jdrew.oo.builtins.ContainsIgnoreCaseBuiltin.

Title: OO jDREW

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

CosBuiltin - class jdrew.oo.builtins.CosBuiltin.

Title: OO jDREW

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

clauses - Variable in class jdrew.oo.td.BackwardReasoner

clear() - Method in class jdrew.oo.util.POSLParser

Used to remove all clauses from the internal buffer of the parser, allowing the parser to be easily reused.

clear() - Method in class jdrew.oo.util.RuleMLParser

Clears the internal buffer; and forces a garbage collection cycle.

close() - Method in class jdrew.oo.gui.TextPaneAppender

compareTo(Object) - Method in class jdrew.oo.util.Term

Compares one term to another object.

createBackup() - Method in class jdrew.oo.td.BackwardReasoner.GoalList

createType(String, String[]) - Static method in class jdrew.oo.util.Types

Define a new type in the type system.

D

DebugConsole - class jdrew.oo.gui.DebugConsole.

DebugConsole() - Constructor for class jdrew.oo.gui.DebugConsole

Creates new form DebugConsole

DefiniteClause - class jdrew.oo.util.DefiniteClause.

Title: OO jDREW

DefiniteClause(Vector, Vector) - Constructor for class jdrew.oo.util.DefiniteClause

Creates a new clause representation using the a Vector of atoms and a Vector of variable names.

DivideBuiltin - class jdrew.oo.builtins.DivideBuiltin.

Title: OO jDREW

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

deepCopy() - Method in class jdrew.oo.util.Term

Make an identical deep (recursive) copy of this term.

deepCopy(int) - Method in class jdrew.oo.util.Term

Produces a deep (recursive) copy of this term, with the side member set to the specified value.

depthFirstSolutionIterator(DefiniteClause) - Method in class jdrew.oo.td.BackwardReasoner

depthFirstSolutionIterator(BackwardReasoner.GoalList) - Method in class jdrew.oo.td.BackwardReasoner

down - Variable in class jdrew.oo.td.Unifier

This value is should be set to true if the unification is taking place when travelling down the tree, and false when returning back up.

E

EndsWithBuiltin - class jdrew.oo.builtins.EndsWithBuiltin.

Title: OO jDREW

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

EngineException - exception jdrew.oo.util.EngineException.

This exception is thrown if there is an error in the reasoning engine - this should only happen if the engine is given invalid input.

EngineException() - Constructor for class jdrew.oo.util.EngineException

EngineException(String) - Constructor for class jdrew.oo.util.EngineException

EngineException(Throwable) - Constructor for class jdrew.oo.util.EngineException

EngineException(String, Throwable) - Constructor for class jdrew.oo.util.EngineException

EqualBuiltin - class jdrew.oo.builtins.EqualBuiltin.

Title: OO jDREW

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

F

FLOAT - Static variable in class jdrew.oo.util.Types

The name for the floating point number type in the type lattice.

FloorBuiltin - class jdrew.oo.builtins.FloorBuiltin.

Title: OO jDREW

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

ForwardReasoner - class jdrew.oo.bu.ForwardReasoner.

This class implements the forward reasoner (bottom-up) modules of OO jDREW; The unifier for this module is implemented by the jdrew.oo.bu.Unifier class and a subsumption checking system is implemented by the jdrew.oo.bu.Subsumption Class.

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

This method constructs a new ForwardReasoner object (implementation of a bottom-up reasoning engine); creating the required buffers for knowledge base storage (oldFacts and rules Hashtable's and newFacts Vector) and registers the system provided built-in relations with the engine by calling the registerBuiltins();

firstOpenGoal() - Method in class jdrew.oo.td.BackwardReasoner.GoalList

firstOpenGoal() - Method in class jdrew.oo.td.BackwardReasoner

G

GreaterThanBuiltin - class jdrew.oo.builtins.GreaterThanBuiltin.

Title: OO jDREW

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

GreaterThanOrEqualBuiltin - class jdrew.oo.builtins.GreaterThanOrEqualBuiltin.

Title: OO jDREW

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

genid - Static variable in class jdrew.oo.util.SymbolTable

This is used to generate new Skolem constants; ensuring uniqueness of all generated constants.

getAtom(int) - Method in class jdrew.oo.td.BackwardReasoner.GoalList

getBuiltins() - Method in class jdrew.oo.td.BackwardReasoner

getColorBackground() - Method in class jdrew.oo.gui.TextPaneAppender

getColorDebug() - Method in class jdrew.oo.gui.TextPaneAppender

getColorEmerg() - Method in class jdrew.oo.gui.TextPaneAppender

getColorError() - Method in class jdrew.oo.gui.TextPaneAppender

getColorInfo() - Method in class jdrew.oo.gui.TextPaneAppender

getColorWarn() - Method in class jdrew.oo.gui.TextPaneAppender

getFancy() - Method in class jdrew.oo.gui.TextPaneAppender

getFontName() - Method in class jdrew.oo.gui.TextPaneAppender

getFontSize() - Method in class jdrew.oo.gui.TextPaneAppender

getLabel() - Method in class jdrew.oo.gui.TextPaneAppender

getNewFacts() - Method in class jdrew.oo.bu.ForwardReasoner

Allows user code to access the newFacts vector.

getOldFacts() - Method in class jdrew.oo.bu.ForwardReasoner

Allows user code to access the oldFacts hash table.

getPosRest() - Method in class jdrew.oo.util.Term

Gets the index of the positional rest parameter.

getRest() - Method in class jdrew.oo.util.Term

Gets the index of the slotted rest paramater.

getRole() - Method in class jdrew.oo.util.Term

Gets the role name code for this term.

getRoleString() - Method in class jdrew.oo.util.Term

Gets the role name for this term.

getRules() - Method in class jdrew.oo.bu.ForwardReasoner

Allows user code to access the rules hash table.

getSide() - Method in class jdrew.oo.util.Term

Gets the value of the side member variable - this is used by the unification process to keep track of terms.

getSubTerms() - Method in class jdrew.oo.util.Term

Gets an array of the arguments for this term.

getSymbol() - Method in class jdrew.oo.bu.builtins.AssertBuiltin

Access the symbol code for the assert built-in relation.

getSymbol() - Method in class jdrew.oo.bu.builtins.BUBuiltin

Gets the integer symbol code for the built-in relation symbol.

getSymbol() - Method in class jdrew.oo.builtins.AbsBuiltin

getSymbol() - Method in class jdrew.oo.builtins.AddBuiltin

getSymbol() - Method in interface jdrew.oo.builtins.Builtin

getSymbol() - Method in class jdrew.oo.builtins.CeilingBuiltin

getSymbol() - Method in class jdrew.oo.builtins.ContainsBuiltin

getSymbol() - Method in class jdrew.oo.builtins.ContainsIgnoreCaseBuiltin

getSymbol() - Method in class jdrew.oo.builtins.CosBuiltin

getSymbol() - Method in class jdrew.oo.builtins.DivideBuiltin

getSymbol() - Method in class jdrew.oo.builtins.EndsWithBuiltin

getSymbol() - Method in class jdrew.oo.builtins.EqualBuiltin

getSymbol() - Method in class jdrew.oo.builtins.FloorBuiltin

getSymbol() - Method in class jdrew.oo.builtins.GreaterThanBuiltin

getSymbol() - Method in class jdrew.oo.builtins.GreaterThanOrEqualBuiltin

getSymbol() - Method in class jdrew.oo.builtins.IntegerDivideBuiltin

getSymbol() - Method in class jdrew.oo.builtins.LessThanBuiltin

getSymbol() - Method in class jdrew.oo.builtins.LessThanOrEqualBuiltin

getSymbol() - Method in class jdrew.oo.builtins.ModBuiltin

getSymbol() - Method in class jdrew.oo.builtins.MultiplyBuiltin

getSymbol() - Method in class jdrew.oo.builtins.NotEqualBuiltin

getSymbol() - Method in class jdrew.oo.builtins.PowBuiltin

getSymbol() - Method in class jdrew.oo.builtins.RoundBuiltin

getSymbol() - Method in class jdrew.oo.builtins.SinBuiltin

getSymbol() - Method in class jdrew.oo.builtins.StartsWithBuiltin

getSymbol() - Method in class jdrew.oo.builtins.StringConcatBuiltin

getSymbol() - Method in class jdrew.oo.builtins.StringEqualIgnoreCaseBuiltin

getSymbol() - Method in class jdrew.oo.builtins.StringLengthBuiltin

getSymbol() - Method in class jdrew.oo.builtins.StringLowerCaseBuiltin

getSymbol() - Method in class jdrew.oo.builtins.StringUpperCaseBuiltin

getSymbol() - Method in class jdrew.oo.builtins.SubstringBuiltin

getSymbol() - Method in class jdrew.oo.builtins.SubtractBuiltin

getSymbol() - Method in class jdrew.oo.builtins.TanBuiltin

getSymbol() - Method in class jdrew.oo.td.builtins.AssertBuiltin

getSymbol() - Method in class jdrew.oo.td.builtins.RegisterBuiltin

getSymbol() - Method in class jdrew.oo.td.builtins.TDBuiltin

getSymbol() - Method in class jdrew.oo.util.Term

Gets the symbol code for this term.

getSymbolForRole(String) - Method in class jdrew.oo.util.Term

A method to get the symbol for a role within a complex term.

getSymbolString() - Method in class jdrew.oo.util.Term

Gets the symbol for this term.

getTextPane() - Method in class jdrew.oo.gui.DebugConsole

getTextPane() - Method in class jdrew.oo.gui.TextPaneAppender

getType() - Method in class jdrew.oo.util.Term

Gets the type code for this term.

getVariableNames() - Method in class jdrew.oo.td.BackwardReasoner.GoalList

greatestLowerBound(int, int) - Static method in class jdrew.oo.util.Types

Find the greatest lower bound of two types.

greatestLowerBound(String, String) - Static method in class jdrew.oo.util.Types

Find the greatest lower bound of type types.

greatestLowerBound(int[]) - Static method in class jdrew.oo.util.Types

Find the greatest lower bound of a list of types, identified by integer codes.

greatestLowerBound(String[]) - Static method in class jdrew.oo.util.Types

Find the lower bound of a group of type.

H

HAS_BUILTIN_SOLUTION_STATE - Static variable in class jdrew.oo.td.BackwardReasoner.Goal

HAS_NAF_SOLUTION_STATE - Static variable in class jdrew.oo.td.BackwardReasoner.Goal

HAS_NO_BUILTIN_SOLUTION_STATE - Static variable in class jdrew.oo.td.BackwardReasoner.Goal

HAS_NO_NAF_SOLUTION_STATE - Static variable in class jdrew.oo.td.BackwardReasoner.Goal

HAS_NO_SUBGOALLIST_STATE - Static variable in class jdrew.oo.td.BackwardReasoner.Goal

HAS_SUBGOALLIST_STATE - Static variable in class jdrew.oo.td.BackwardReasoner.Goal

HAS_UNCONSUMED_NAF_SOLUTION_STATE - Static variable in class jdrew.oo.td.BackwardReasoner.Goal

hasNext() - Method in class jdrew.oo.td.BackwardReasoner.DepthFirstSolutionIterator

hasNext() - Method in class jdrew.oo.td.BackwardReasoner.IterativeDepthFirstSolutionIterator

hasNext() - Method in class jdrew.oo.td.BackwardReasoner.SubGoalListIterator

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

head() - Method in class jdrew.oo.td.BackwardReasoner.GoalList

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

I

IASSERT - Static variable in class jdrew.oo.util.SymbolTable

This integer stores the code for an assert term.

IFLOAT - Static variable in class jdrew.oo.util.Types

The integer code for the floating point number type.

IINTEGER - Static variable in class jdrew.oo.util.Types

The integer code for the integer type.

INAF - Static variable in class jdrew.oo.util.SymbolTable

This integer stores the code for a NAF term.

INITIAL_STATE - Static variable in class jdrew.oo.td.BackwardReasoner.Goal

INOROLE - Static variable in class jdrew.oo.util.SymbolTable

This integer stores the integer code that is used for the role of positional parameters.

INOSYM - Static variable in class jdrew.oo.util.SymbolTable

This symbol takes up the first slot in the symbol table - as we ensure that the integer code 0 is never used.

INOTHING - Static variable in class jdrew.oo.util.Types

The integer code for the bottom of the type lattice (Nothing).

INTEGER - Static variable in class jdrew.oo.util.Types

The name for the integer type in the type lattice.

INUMERIC - Static variable in class jdrew.oo.util.Types

The integer code for the numeric base type.

IOBJECT - Static variable in class jdrew.oo.util.Types

The integer code for the base type of the type system (Thing) - this value should not be used; ITHING should be used instead.

IOID - Static variable in class jdrew.oo.util.SymbolTable

This integer stores the integer code that is used for the system oid role.

IPLEX - Static variable in class jdrew.oo.util.SymbolTable

This integer stores the code for the "constructor" of a plex term.

IPREST - Static variable in class jdrew.oo.util.SymbolTable

This integer stores the integer code that is used for the role of positional rest parameters.

IREST - Static variable in class jdrew.oo.util.SymbolTable

This integer stores the integer code that is used for the role of slotted rest parameters.

ISTRING - Static variable in class jdrew.oo.util.Types

The integer code for the String base type.

ITHING - Static variable in class jdrew.oo.util.Types

The integer code for the base type of the type system (Thing).

IntegerDivideBuiltin - class jdrew.oo.builtins.IntegerDivideBuiltin.

Title: OO jDREW

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

internRole(String) - Static method in class jdrew.oo.util.SymbolTable

This method is used to initalize a role and assign it an integer code if it has not been used before; or retrieve the integer code of a role if it already has been encountered.

internSymbol(String) - Static method in class jdrew.oo.util.SymbolTable

This method is used to initalize a symbol and assign it an integer code if it has not been used before; or retrieve the integer code of a symbol if it already has been encountered.

isAtom() - Method in class jdrew.oo.util.Term

Test if this term is an atom.

isCTerm() - Method in class jdrew.oo.util.Term

Tests if a term is a complex term.

isFact() - Method in class jdrew.oo.util.DefiniteClause

Tests to see if the clause represented by this clause is a fact - this is determined by checking to see if the clause only has one atom (the head).

isSubClass(int, int) - Static method in class jdrew.oo.util.Types

Check to see if the type identified by subClass is is a subclass of the type identified by superClass.

isSubClass(String, String) - Static method in class jdrew.oo.util.Types

Check to see if type subClass is a sub-type of type superClass.

isSuperClass(int, int) - Static method in class jdrew.oo.util.Types

Check to see if one type is the super-type of another.

isSuperClass(String, String) - Static method in class jdrew.oo.util.Types

Check to see if one type is the super-type of another type.

isTypeDefined(int) - Static method in class jdrew.oo.util.Types

Check to see if a type is defined for the identification integer passed.

isTypeDefined(String) - Static method in class jdrew.oo.util.Types

Check to see if there is a type with a specified name already defined.

isa(int, int) - Static method in class jdrew.oo.util.Types

This method is a synonyom for the isSubClass(int subClass, int superClass) method.

iterativeDepthFirstSolutionIterator(DefiniteClause, int, int) - Method in class jdrew.oo.td.BackwardReasoner

iterativeDepthFirstSolutionIterator(DefiniteClause) - Method in class jdrew.oo.td.BackwardReasoner

iterativeDepthFirstSolutionIterator(BackwardReasoner.GoalList, int, int) - Method in class jdrew.oo.td.BackwardReasoner

iterativeDepthFirstSolutionIterator(BackwardReasoner.GoalList) - Method in class jdrew.oo.td.BackwardReasoner

iterator() - Method in class jdrew.oo.util.POSLParser

Used to get an interator of the clauses that have been parsed by the POSLParser, this Iterator can be passed to the loadClauses(Iterator) method of a ForwardReasoner and BackwardReasoner to load the parsed clauses.

iterator() - Method in class jdrew.oo.util.RuleMLParser

Gets an iterator over all clauses that are stored in the internal clause buffer.

J

jdrew.oo - package jdrew.oo

jdrew.oo.bu - package jdrew.oo.bu

jdrew.oo.bu.builtins - package jdrew.oo.bu.builtins

jdrew.oo.builtins - package jdrew.oo.builtins

jdrew.oo.gui - package jdrew.oo.gui

jdrew.oo.td - package jdrew.oo.td

jdrew.oo.td.builtins - package jdrew.oo.td.builtins

jdrew.oo.util - package jdrew.oo.util

L

LessThanBuiltin - class jdrew.oo.builtins.LessThanBuiltin.

Title: OO jDREW

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

LessThanOrEqualBuiltin - class jdrew.oo.builtins.LessThanOrEqualBuiltin.

Title: OO jDREW

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

loadClauses(Iterator) - Method in class jdrew.oo.bu.ForwardReasoner

This method is used to load clauses into the reasoning engine.

loadClauses(Iterator) - Method in class jdrew.oo.td.BackwardReasoner

loadIcon(String) - Static method in class jdrew.oo.gui.TextPaneAppender

M

ModBuiltin - class jdrew.oo.builtins.ModBuiltin.

Title: OO jDREW

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

MultiplyBuiltin - class jdrew.oo.builtins.MultiplyBuiltin.

Title: OO jDREW

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

main(String[]) - Static method in class jdrew.oo.gui.BottomUpGUI

main(String[]) - Static method in class jdrew.oo.gui.TopDownGUI

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

N

NOTHING - Static variable in class jdrew.oo.util.Types

The name for the bottom of the type lattice (Nothing).

NO_AUTO_PROPAGATE - Static variable in class jdrew.oo.td.BackwardReasoner.Goal

NUMERIC - Static variable in class jdrew.oo.util.Types

The name for the base type for all numeric types in the type lattice.

NotEqualBuiltin - class jdrew.oo.builtins.NotEqualBuiltin.

Title: OO jDREW

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

next() - Method in class jdrew.oo.td.BackwardReasoner.DepthFirstSolutionIterator

next() - Method in class jdrew.oo.td.BackwardReasoner.IterativeDepthFirstSolutionIterator

next() - Method in class jdrew.oo.td.BackwardReasoner.SubGoalListIterator

nextGoalListSize() - Method in class jdrew.oo.td.BackwardReasoner.SubGoalListIterator

O

OBJECT - Static variable in class jdrew.oo.util.Types

The type name for the base type of the type system (Thing).

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

oids - Variable in class jdrew.oo.td.BackwardReasoner

P

POSLParser - class jdrew.oo.util.POSLParser.

A Class to parse input in the POSL format.

POSLParser() - Constructor for class jdrew.oo.util.POSLParser

Used to construct a new POSLParser object - which is used for parsing knowledge bases in POSL syntax.

PRINTANONVARNAMES - Static variable in class jdrew.oo.Config

This variable controls how anonymous varaibles are printed.

PRINTGENOIDS - Static variable in class jdrew.oo.Config

This variable controls how system generated oids are printed.

PRINTGENSYMS - Static variable in class jdrew.oo.Config

This variable controls how generated symbols (skolem constants) are printed.

PRINTVARID - Static variable in class jdrew.oo.Config

This variable controls how Variables are printed.

PROPAGATE_EAGERLY - Static variable in class jdrew.oo.td.BackwardReasoner.Goal

PROPAGATE_WHEN_SOLVED - Static variable in class jdrew.oo.td.BackwardReasoner.Goal

PROVE_BY_BUILTIN - Static variable in class jdrew.oo.td.BackwardReasoner.Goal

PROVE_BY_NAF - Static variable in class jdrew.oo.td.BackwardReasoner.Goal

PROVE_BY_SUBGOALLIST - Static variable in class jdrew.oo.td.BackwardReasoner.Goal

PRPRINT - Static variable in class jdrew.oo.Config

This variable specifies the default output format that is produced when toString() calls are made on Term and DefiniteClause Objects.

ParseException - exception jdrew.oo.util.ParseException.

An exception that is thrown if there is an error parsing input correctly.

ParseException() - Constructor for class jdrew.oo.util.ParseException

ParseException(String) - Constructor for class jdrew.oo.util.ParseException

PowBuiltin - class jdrew.oo.builtins.PowBuiltin.

Title: OO jDREW

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

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

parseDCFile(String) - Method in class jdrew.oo.util.POSLParser

Used to parse a file containing clauses in POSL syntax.

parseDefiniteClause(String) - Method in class jdrew.oo.util.POSLParser

Used to parse a single clause in POSL syntax contained in a String.

parseDefiniteClauses(String) - Method in class jdrew.oo.util.POSLParser

Used to parse multiple clauses in POSL syntax contained in a String.

parseFile(int, String) - Method in class jdrew.oo.util.RuleMLParser

Parses a file containing a knowledge base that is in the indicated format.

parseQueryString(String) - Method in class jdrew.oo.util.POSLParser

Used to parse a query clause in POSL syntax.

parseRDFS(String) - Static method in class jdrew.oo.util.RDFSParser

Method to parse an RDFS file and load the type information in the RDFS into the engines type sorts.

parseRDFSString(String) - Static method in class jdrew.oo.util.RDFSParser

Method that parses an RDFS document contained in a string and load the type information in the RDFS into the engines type sorts.

parseRuleMLString(int, String) - Method in class jdrew.oo.util.RuleMLParser

Parses a string containing a knowledge base that is in the indicated format.

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

printClauses() - Method in class jdrew.oo.bu.ForwardReasoner

This method will print the entire knowledge base that has been loaded into this reasoning engine to standard out.

propagateBindingsToParent() - Method in class jdrew.oo.td.BackwardReasoner.GoalList

purgeBackup() - Method in class jdrew.oo.td.BackwardReasoner.GoalList

R

RDFSParser - class jdrew.oo.util.RDFSParser.

This class implements a parser for type sorts definitions in RDFS syntax; This allows users to define new types than can be used by the reasoning engine.

RDFSParser() - Constructor for class jdrew.oo.util.RDFSParser

RULEML88 - Static variable in class jdrew.oo.util.RuleMLParser

This is used to indicate what back-end parser to use.

RegisterBuiltin - class jdrew.oo.td.builtins.RegisterBuiltin.

Title: OO jDREW

RegisterBuiltin(BackwardReasoner, String) - Constructor for class jdrew.oo.td.builtins.RegisterBuiltin

RoundBuiltin - class jdrew.oo.builtins.RoundBuiltin.

Title: OO jDREW

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

RuleMLParser - class jdrew.oo.util.RuleMLParser.

A class for parsing RuleML.

RuleMLParser() - Constructor for class jdrew.oo.util.RuleMLParser

Constructs a new parser object.

registerBuiltin(Builtin) - Method in class jdrew.oo.bu.ForwardReasoner

This method is used to register a new user created built-in with the reasoning engine.

registerBuiltin(BUBuiltin) - Method in class jdrew.oo.bu.ForwardReasoner

This method is used to register a new user created built-in with the reasoning engine.

registerBuiltin(Builtin) - Method in class jdrew.oo.td.BackwardReasoner

registerBuiltin(TDBuiltin) - Method in class jdrew.oo.td.BackwardReasoner

registerBuiltins() - Method in class jdrew.oo.td.BackwardReasoner

remove() - Method in class jdrew.oo.td.BackwardReasoner.DepthFirstSolutionIterator

remove() - Method in class jdrew.oo.td.BackwardReasoner.IterativeDepthFirstSolutionIterator

remove() - Method in class jdrew.oo.td.BackwardReasoner.SubGoalListIterator

requiresLayout() - Method in class jdrew.oo.gui.TextPaneAppender

reset() - Static method in class jdrew.oo.util.SymbolTable

This method is used to reset the symbol table.

reset() - Static method in class jdrew.oo.util.Types

A method to reset the type system.

resolvent() - Method in class jdrew.oo.bu.Unifier

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

restoreBackup() - Method in class jdrew.oo.td.BackwardReasoner.GoalList

role(int) - Static method in class jdrew.oo.util.SymbolTable

This method gets the string representation of a role for the integer code.

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

roles - Static variable in class jdrew.oo.util.SymbolTable

This vector stores all known roles.

runForwardReasoner() - Method in class jdrew.oo.bu.ForwardReasoner

This method runs the main forward reasoner; causing the engine to find all possible conclusions from the knowledge base that was loaded into the engine.

S

STRING - Static variable in class jdrew.oo.util.Types

The name for the string type in the type lattice.

SinBuiltin - class jdrew.oo.builtins.SinBuiltin.

Title: OO jDREW

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

StartsWithBuiltin - class jdrew.oo.builtins.StartsWithBuiltin.

Title: OO jDREW

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

StringConcatBuiltin - class jdrew.oo.builtins.StringConcatBuiltin.

Title: OO jDREW

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

StringEqualIgnoreCaseBuiltin - class jdrew.oo.builtins.StringEqualIgnoreCaseBuiltin.

Title: OO jDREW

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

StringLengthBuiltin - class jdrew.oo.builtins.StringLengthBuiltin.

Title: OO jDREW

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

StringLowerCaseBuiltin - class jdrew.oo.builtins.StringLowerCaseBuiltin.

Title: OO jDREW

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

StringUpperCaseBuiltin - class jdrew.oo.builtins.StringUpperCaseBuiltin.

Title: OO jDREW

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

SubstringBuiltin - class jdrew.oo.builtins.SubstringBuiltin.

Title: OO jDREW

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

Subsumption - class jdrew.oo.bu.Subsumption.

This class is used for checking if one (newly selected) fact is subsumed by another fact that has already been processed.

Subsumption(DefiniteClause) - Constructor for class jdrew.oo.bu.Subsumption

This creates a subsumption checker; First it initializes all data structures based upon the fact that is passed (this is the one to be checked if it is subsumed by another fact); then it will call the ground(Term) method to ground the fact.

SubtractBuiltin - class jdrew.oo.builtins.SubtractBuiltin.

Title: OO jDREW

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

SymbolTable - class jdrew.oo.util.SymbolTable.

This class is responsible for managing the integer codes that are used by the engine datastructers to represent roles and symbols.

SymbolTable() - Constructor for class jdrew.oo.util.SymbolTable

setAtom(boolean) - Method in class jdrew.oo.util.Term

Sets the boolean atom flag to the passed value, if the atom member variable is set to true and it is not a complex term (subTerms array is set to null) isAtom() will still return false.

setColorBackground(String) - Method in class jdrew.oo.gui.TextPaneAppender

setColorDebug(String) - Method in class jdrew.oo.gui.TextPaneAppender

setColorEmerg(String) - Method in class jdrew.oo.gui.TextPaneAppender

setColorError(String) - Method in class jdrew.oo.gui.TextPaneAppender

setColorInfo(String) - Method in class jdrew.oo.gui.TextPaneAppender

setColorWarn(String) - Method in class jdrew.oo.gui.TextPaneAppender

setFancy(boolean) - Method in class jdrew.oo.gui.TextPaneAppender

setFontName(String) - Method in class jdrew.oo.gui.TextPaneAppender

setFontSize(int) - Method in class jdrew.oo.gui.TextPaneAppender

setLabel(String) - Method in class jdrew.oo.gui.TextPaneAppender

setLayout(Layout) - Method in class jdrew.oo.gui.TextPaneAppender

setName(String) - Method in class jdrew.oo.gui.TextPaneAppender

setRole(int) - Method in class jdrew.oo.util.Term

Sets the role code for this term.

setSide(int) - Method in class jdrew.oo.util.Term

Sets the value of the side member variable.

setSymbol(int) - Method in class jdrew.oo.util.Term

Sets the symbol code for this term.

setSymbolIndex() - Method in class jdrew.oo.td.BackwardReasoner.Goal

setTextPane(JTextPane) - Method in class jdrew.oo.gui.TextPaneAppender

setType(int) - Method in class jdrew.oo.util.Term

Sets the type code for this term.

size() - Method in class jdrew.oo.util.POSLParser

Used to find the number of clauses stored in the parser's internal buffer.

sort(Vector) - Static method in class jdrew.oo.util.Term

Sorts a Vector of term objects by the role code.

sort(Term[]) - Static method in class jdrew.oo.util.Term

Sorts an array of jdrew.oo.util.Term values by the role code.

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

subsumedBy(DefiniteClause) - Method in class jdrew.oo.bu.Subsumption

This method is called to check to see if the passed fact subsumes the fact that was used in the consturctor of the Subsumption object.

symbol(int) - Static method in class jdrew.oo.util.SymbolTable

This method gets the string representation of a symbol for the integer code.

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

symbols - Static variable in class jdrew.oo.util.SymbolTable

This vector stores all known symbols.

T

TDBuiltin - class jdrew.oo.td.builtins.TDBuiltin.

TDBuiltin() - Constructor for class jdrew.oo.td.builtins.TDBuiltin

TDBuiltin(Builtin) - Constructor for class jdrew.oo.td.builtins.TDBuiltin

TanBuiltin - class jdrew.oo.builtins.TanBuiltin.

Title: OO jDREW

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

Term - class jdrew.oo.util.Term.

An object that represents a logic term (Ind, Var, Cterm, Plex, Atom).

Term(int, int, int) - Constructor for class jdrew.oo.util.Term

Creates a new simple term (variable or ind).

Term(int, int, int, int) - Constructor for class jdrew.oo.util.Term

Create a new simple term with a URI reference or label (must be ind)

Term(int, int, int, Term[]) - Constructor for class jdrew.oo.util.Term

Creates a new complex term (atom, cterm, plex).

Term(int, int, int, Vector) - Constructor for class jdrew.oo.util.Term

Creates a new complex term (atom, cterm, plex).

TextPaneAppender - class jdrew.oo.gui.TextPaneAppender.

Adatpted from James House's TextPanelAppender, part of the log4j package.

TextPaneAppender(Layout, String) - Constructor for class jdrew.oo.gui.TextPaneAppender

TextPaneAppender() - Constructor for class jdrew.oo.gui.TextPaneAppender

TopDownGUI - class jdrew.oo.gui.TopDownGUI.

TopDownGUI() - Constructor for class jdrew.oo.gui.TopDownGUI

Creates new form TopDownGUI

Types - class jdrew.oo.util.Types.

This class represents the types that are defined within OO jDREW's built-in term typing system.

Types() - Constructor for class jdrew.oo.util.Types

toPOSLString() - Method in class jdrew.oo.util.DefiniteClause

Builds and returns a POSL string representation of the clause.

toPOSLString() - Method in class jdrew.oo.util.Term

Returns a string representation of this term in POSL syntax.

toPOSLString(String[]) - Method in class jdrew.oo.util.Term

Returns a string representation of this term in POSL syntax.

toPOSLString(String[], boolean) - Method in class jdrew.oo.util.Term

Returns a string representation of this term in POSL syntax, with the option of omitting the role name.

toRuleML() - Method in class jdrew.oo.util.DefiniteClause

Builds and returns a RuleML (0.88 + rests) representation of the object as a XOM tree.

toRuleML() - Method in class jdrew.oo.util.Term

Produces an OO RuleML XML syntax representation of this term, stored in a nu.xom.Element object.

toRuleML(String[]) - Method in class jdrew.oo.util.Term

Produces an OO RuleML XML syntax representation of this term, stored in a nu.xom.Element object.

toRuleMLString() - Method in class jdrew.oo.util.DefiniteClause

Builds and returns a RuleML (0.88 + rests) string representation of the object.

toRuleMLString() - Method in class jdrew.oo.util.Term

Produces an OO RuleML XML syntax representation of this term, stored in a string.

toRuleMLString(String[]) - Method in class jdrew.oo.util.Term

Produces an OO RuleML XML syntax representation of this term, stored in a string.

toString() - Method in class jdrew.oo.td.BackwardReasoner.Goal

toString() - Method in class jdrew.oo.td.BackwardReasoner.GoalList

toString() - Method in class jdrew.oo.td.BackwardReasoner

toString() - Method in class jdrew.oo.util.DefiniteClause

Creates and returns a string representation of the clause in either POSL or RuleML format.

toString() - Method in class jdrew.oo.util.Term

Returns a string representation of this term.

toString(String[]) - Method in class jdrew.oo.util.Term

Returns a string representation of this term.

toTree() - Method in class jdrew.oo.td.BackwardReasoner

Methods to generate a DefaulteMultibleTreeNode representation of the solution tree.

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

typeID(String) - Static method in class jdrew.oo.util.Types

Get the type identification integer associated with a type name.

typeName(int) - Static method in class jdrew.oo.util.Types

Get the type name for a specified type identification number.

types - Static variable in class jdrew.oo.util.Types

A vector that contains all of the type names.

U

Unifier - class jdrew.oo.bu.Unifier.

Title: OO jDREW

Unifier(DefiniteClause, DefiniteClause) - Constructor for class jdrew.oo.bu.Unifier

Unifier - class jdrew.oo.td.Unifier.

A Unifier is an object that performs two separate functions: it tells whether two clauses literals that occur in Goals/GoalLists clauses can unify, and it builds the resulting Goals/GoalLists after the required substitution, required for the unification, have been applied.

Unifier(BackwardReasoner.Goal, BackwardReasoner.GoalList, int, boolean) - Constructor for class jdrew.oo.td.Unifier

Constructs a new Unifier for the OO-jDREW top-down module.

Unifier(BackwardReasoner.Goal, BackwardReasoner.GoalList, int) - Constructor for class jdrew.oo.td.Unifier

Constructs a new Unifier for the OO-jDREW top-down module.

uit - Variable in class jdrew.oo.td.BackwardReasoner.SubGoalListIterator

unified - Variable in class jdrew.oo.td.Unifier

This value is set to true if unification of the Goal and the first Goal in the subGoalList is successful, false otherwise.

unifies() - Method in class jdrew.oo.bu.Unifier

V

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

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

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

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

Contains the variable names for this clause.

W

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

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