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

Title: OO jDREW

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

Title: OO jDREW

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

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

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

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

B

BackwardReasoner - Class in jdrew.oo.td

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

Title: OO jDREW

BackwardReasoner.Goal - Class in jdrew.oo.td

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

BackwardReasoner.GoalList - Class in jdrew.oo.td

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

BackwardReasoner.IterativeDepthFirstSolutionIterator - Class in jdrew.oo.td

Title: OO jDREW

BackwardReasoner.SubGoalListIterator - Class in jdrew.oo.td

Title: OO jDREW

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

BottomUpGUI - Class in jdrew.oo.gui

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

BUBuiltin - Class in jdrew.oo.bu.builtins

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.

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

This method builds a precedence graph based on the given rules.

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

Builtin - Interface in jdrew.oo.builtins

Title: OO jDREW

C

CeilingBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

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

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

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

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

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

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

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

Compares one term to another object.

Config - Class in jdrew.oo

Title: OO jDREW

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

ContainsBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

ContainsIgnoreCaseBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

CosBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

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.

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

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

D

DebugConsole - Class in jdrew.oo.gui

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

Creates new form DebugConsole

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.

DefiniteClause - Class in jdrew.oo.util

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.

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

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

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

This method is used to see if there is a negative edge in a cycle in the precedence graph.

DivideBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

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

Title: OO jDREW

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

EngineException - Exception in jdrew.oo.util

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 exception jdrew.oo.util.EngineException

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

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

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

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

EqualBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

F

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

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

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

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

FloorBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

ForwardReasoner - Class in jdrew.oo.bu

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();

G

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

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

This method is used to get the number of times when the forward reasoner should stop running.

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

This method returns a vector of strings containing information about stratification.

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

GreaterThanBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

GreaterThanOrEqualBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

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

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

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.

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

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

The integer code for the integer type.

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

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

This integer stores the code for a NAF term.

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

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

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.

IntegerDivideBuiltin - Class in jdrew.oo.builtins

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.

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.

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

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

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.

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

This is used to distinguish between Data and Ind

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).

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

This method is used to see if a Knowledge base is statfiable or not.

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.

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

The integer code for the String base 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.

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

Returns an interator over the clauses that are stored in the parsers internal buffer; the buffer is not automatically cleared after a call to iterator().

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

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

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

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

J

jbParseTypes_mouseClicked(MouseEvent) - Method in class jdrew.oo.gui.TypeDefFrame

jbToPosl_mouseClicked(MouseEvent) - Method in class jdrew.oo.gui.Translator

jbToRML_mouseClicked(MouseEvent) - Method in class jdrew.oo.gui.Translator

jbTypes_mouseClicked(MouseEvent) - Method in class jdrew.oo.gui.Translator

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

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

L

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

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

LessThanBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

LessThanOrEqualBuiltin - Class in jdrew.oo.builtins

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

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

M

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

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

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

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

main(String[]) - Static method in class test

main(String[]) - Static method in class Tester

mARROW(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mBANG(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mCOLON(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mCOMMA(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mCOMMENT(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

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

mHAT(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mIMP(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mLBRACE(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mLBRACK(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

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

mLPAREN(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mMLCOMMENT(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

ModBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

mPERIOD(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mPIPE(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mQMARK(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mQSYMBOL(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mRBRACE(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mRBRACK(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mRPAREN(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mSEMI(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mSYMBOL(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

MultiplyBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

mURI(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mUSCORE(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

mWS(boolean) - Method in class jdrew.oo.util.parsing.POSLLexer

N

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

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

nextToken() - Method in class jdrew.oo.util.parsing.POSLLexer

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

NotEqualBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

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

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

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

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

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

O

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

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

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

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

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

P

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

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

This method is used to parse a group of clauses stored in a local file.

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

This method is used to parse a single definite clause, stored in a String.

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

This method is used to parse a group of clauses, stored in a String.

ParseException - Exception in jdrew.oo.util

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

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

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

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

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

parseInputStream(InputStream) - Method in class jdrew.oo.util.POSLParser

This method is used to parse a group of clauses read from an InputStream (keyboard, socket, etc.).

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

This method is used to parse a query - stored in a String.

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.

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

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

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

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

POSLLexer - Class in jdrew.oo.util.parsing

POSLLexer(InputStream) - Constructor for class jdrew.oo.util.parsing.POSLLexer

POSLLexer(Reader) - Constructor for class jdrew.oo.util.parsing.POSLLexer

POSLParser - Class in jdrew.oo.util.parsing

POSLParser(TokenBuffer, int) - Constructor for class jdrew.oo.util.parsing.POSLParser

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

POSLParser - Class in jdrew.oo.util

Title: OO jDREW

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

POSLParserTokenTypes - Interface in jdrew.oo.util.parsing

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

PowBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

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

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

PRINTANONVARNAMES - Static variable in class jdrew.oo.Config

This variable controls how anonymous varaibles are printed.

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.

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

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

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.

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

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

Q

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

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

R

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

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

RDFSParser - Class in jdrew.oo.util

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

regex - Static variable in class jdrew.oo.util.Term

This is a regular expression to test against to see if a symbol needs to be quoted when producing POSL format output.

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

RegisterBuiltin - Class in jdrew.oo.td.builtins

Title: OO jDREW

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

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

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

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() - Method in class jdrew.oo.util.POSLParser

Clears the parsers internal clause buffer.

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() - Method in class jdrew.oo.util.parsing.POSLParser

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.

RoundBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

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

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

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

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

RuleMLParser - Class in jdrew.oo.util

A class for parsing RuleML.

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

Constructs a new parser object.

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

This method is used to see if the body of any rule contains a naf to see whether or not we need to check for stratification.

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

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

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

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

Sets the isData flag to the passed value, if isData variable is set to true then it is a data element if not it is a Ind

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

setLoopCounter(String) - Method in class jdrew.oo.bu.ForwardReasoner

This method is used to set the number of times when the forward reasoner should stop running.

setLoopCounter(int) - Method in class jdrew.oo.bu.ForwardReasoner

This method is used to set the number of times when the forward reasoner should stop running.

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.

SinBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

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

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

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

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

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.

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

StartsWithBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

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

The name for the string type in the type lattice.

StringConcatBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

StringEqualIgnoreCaseBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

StringLengthBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

StringLowerCaseBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

StringUpperCaseBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

SubstringBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

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.

Subsumption - Class in jdrew.oo.bu

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.

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

SubtractBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

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

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

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.

SymbolTable - Class in jdrew.oo.util

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

T

TanBuiltin - Class in jdrew.oo.builtins

Title: OO jDREW

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

TDBuiltin - Class in jdrew.oo.td.builtins

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

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

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

Term - Class in jdrew.oo.util

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).

test - Class in <Unnamed>

test() - Constructor for class test

Tester - Class in <Unnamed>

Tester() - Constructor for class Tester

TextPaneAppender - Class in jdrew.oo.gui

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 in jdrew.oo.gui

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

Creates new form TopDownGUI

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

Builds and returns a POSL string representation of the clause.

toPOSLString(boolean) - 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

toPOSLString(String[], boolean, 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(boolean) - 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[], boolean) - 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.

Translator - Class in jdrew.oo.gui

Title: OO jDREW

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

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

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

TypeDefFrame - Class in jdrew.oo.gui

Title: OO jDREW

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

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 - Class in jdrew.oo.util

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

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

A vector that contains all of the type names.

U

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.

Unifier - Class in jdrew.oo.bu

Title: OO jDREW

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

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

Unifier - Class in jdrew.oo.td

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.

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

unify(Term, Term) - Method in class jdrew.oo.bu.Unifier

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

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

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

V

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

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

windowClosing(WindowEvent) - Method in class jdrew.oo.gui.Translator

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

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

_

_tokenNames - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_0 - Static variable in class jdrew.oo.util.parsing.POSLLexer

_tokenSet_0 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_1 - Static variable in class jdrew.oo.util.parsing.POSLLexer

_tokenSet_1 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_10 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_11 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_12 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_13 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_14 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_15 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_16 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_17 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_18 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_19 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_2 - Static variable in class jdrew.oo.util.parsing.POSLLexer

_tokenSet_2 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_3 - Static variable in class jdrew.oo.util.parsing.POSLLexer

_tokenSet_3 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_4 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_5 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_6 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_7 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_8 - Static variable in class jdrew.oo.util.parsing.POSLParser

_tokenSet_9 - Static variable in class jdrew.oo.util.parsing.POSLParser

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