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

A

AbsBuiltin - Class in jdrew.oo.builtins

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

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

AddBuiltin - Class in jdrew.oo.builtins

Implements a add built-in relation.

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

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

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

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

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

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

Used to apply the variable bindings to the current goal.

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

Used to apply variable bindings to the sub goal list.

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

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

AssertBuiltin - Class in jdrew.oo.bu.builtins

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

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

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

AssertBuiltin - Class in jdrew.oo.td.builtins

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Builtin - Interface in jdrew.oo.builtins

This class creates the Interface for a builtin relation.

C

CeilingBuiltin - Class in jdrew.oo.builtins

Implements a Ceiling built-in relation.

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

Implements a Contains built-in relation.

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

ContainsIgnoreCaseBuiltin - Class in jdrew.oo.builtins

Implements a Contains Ignoring Case built-in relation.

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

CosBuiltin - Class in jdrew.oo.builtins

Implements a cos (Cosine) built-in relation.

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

currentParser - Static variable in class jdrew.oo.gui.BottomUpGUI

currentParser - Static variable in class jdrew.oo.gui.TopDownGUI

currentParser - Static variable in class jdrew.oo.gui.Translator

This keeps track of the current Parser being used

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

Implements a divide (division) built-in relation.

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

Implements a Ends With built-in relation.

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

Implements a Contains Equal built in relation.

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

Implements a Floor built-in relation.

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

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

Gets the isData vaule

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

Gets the isDataSlot vaule

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

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

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

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

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

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

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

Implements a Greater Than built-in relation.

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

GreaterThanOrEqualBuiltin - Class in jdrew.oo.builtins

Implements a Greater Than or Equal built-in relation.

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

The symbol code for the URI for this term; The actual URI is stored in the SymbolTable.

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

Implements a Integer Divide (Division of 2 Integers) built-in relation.

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.

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

This method parses the Types.

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

This method Translates RULEML to POSL.

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

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

This method Translates POSL to RULEML

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

This method is called when the user clicks on the button to define type information.

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

Implements a Less Than built-in relation.

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

LessThanOrEqualBuiltin - Class in jdrew.oo.builtins

Implements a Lesser Than or Equal built-in relation.

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

This is the main method that is called when the BottomUpGUI is ran.

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

This method is called when the TopDownGUI is ran.

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

This is the main method that is called when the Translator is ran.

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

This is the main method that is called when the Translator is ran.

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

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

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

Implements a mod (Modulo operation) built-in relation.

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

Implements a Multiply built-in relation.

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

Implements a Contains Equal built in relation.

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

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

Oojdrew92 - Class in <Unnamed>

AWT Sample application

Oojdrew92() - Constructor for class Oojdrew92

Oojdrew92Frame - Class in <Unnamed>

Sample application using Frame.

Oojdrew92Frame() - Constructor for class Oojdrew92Frame

The constructor.

openFile() - Static method in class jdrew.oo.gui.BottomUpGUI

This method prompts the user to select a file and then, places its contents in the selected text area(knowledge base, Types).

openFile() - Static method in class jdrew.oo.gui.TopDownGUI

This method prompts the user to select a file and then, places its contents in the selected text area(knowledge base, Query, Types).

openFile() - Static method in class jdrew.oo.gui.Translator

This method prompts the user to select a file and then, places its contents in the selected text area(POSL, RuleML).

openFile() - Static method in class jdrew.oo.gui.TypeDefFrame

This method prompts the user to select a file and then, places its contents in the typedef text area.

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

This Class was generated with ANTLR, you can download the grammar use to create the class from OOjDREW's homepage.

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

PowBuiltin - Class in jdrew.oo.builtins

Implements a pow (Exponent) built-in relation.

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

-1 is assigned as the positional rest if this is a simple term or a complex term with no positional slotted rest paramater.

PRINTANONVARNAMES - Static variable in class jdrew.oo.Config

This variable controls how anonymous varaibles are printed.

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

This method will return a string that will contain the new facts and old facts in ruleML or posl form If type is equal to true then it will display in posl If type is equal to false then it will display ruleml

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

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

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

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

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

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

rem - Static variable in class jdrew.oo.bu.ForwardReasoner

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

This method will produce the resolvent of unifing a fact with a rule.

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

-1 is assigned as the rest if this is a simple term or a complex term with no slotted rest paramater.

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

The role name code to be used for this term, for a positional argument this is equal to the INOROLE member of the SymbolTable.

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

This vector stores all known roles.

RoundBuiltin - Class in jdrew.oo.builtins

Implements a Round built-in relation.

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.

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

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

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

Sets the isDataSlot flag to the passed value, if isDataSlot variable is set to true then it is a data element if not it is a Ind inside the slot.

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

Implements a sin (Sine) built-in relation.

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

Implements a Starts with built-in relation.

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

Implements a String Concatination built-in relation.

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

StringEqualIgnoreCaseBuiltin - Class in jdrew.oo.builtins

Implements a String Equal Ignore Case built-in relation.

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

StringLengthBuiltin - Class in jdrew.oo.builtins

Implements a Sting Length built-in relation.

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

StringLowerCaseBuiltin - Class in jdrew.oo.builtins

Implements a Sting Lower Case built-in relation.

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

StringUpperCaseBuiltin - Class in jdrew.oo.builtins

Implements a Sting Upper Case relation.

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

SubstringBuiltin - Class in jdrew.oo.builtins

Implements a Substring built in relation.

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

subTerms Term[] An array containing the terms that will be the parameters of this atom, cterm or plex that is being created.

SubtractBuiltin - Class in jdrew.oo.builtins

Implements a subtract built-in relation.

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

The symbol code to be used for this term, for a variable this is a negative number - and the variable name is stored in the variableNames array of the DefiniteClause object, for a ind this is a positive number and the symbol text is stored in the SymbolTable.

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

Implements a tan (Tangent) built-in relation.

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

TDBuiltin - Class in jdrew.oo.td.builtins

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

Constructs a new empty Top-down built-in.

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

Constructs a new Top-Down built-in.

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

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

This class implements a GUI front-end for the OO jDREW Top down module.

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

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

toRuleML(boolean, int) - 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, int) - 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(int) - Method in class jdrew.oo.util.DefiniteClause

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

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

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

toRuleMLString(String[], int) - 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(int) - Method in class jdrew.oo.util.DefiniteClause

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

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

Returns a string representation of this term.

toString(String[], int) - 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

This class implements a Translater that is used to translate RuleML 0.88 to RuleML 0.91 or POSL, and Vice Versa.

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

This is the constructor for the Translator.

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

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

TypeDefFrame - Class in jdrew.oo.gui

This class implements a TypeDefFrame used by the Translator.

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

This is the constructor for the 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

This method is used to create a unifier that is used to test whether or not 2 terms are equal.

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

This method is used to create a unifier that is used to test whether a fact unifies with a rule.

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

This method returns the value of the unified variable.

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

This method is used to check if two terms unify with each other; and to perform any variable bindings that are necessary to make the terms unfiy.

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

windowClosed() - Method in class Oojdrew92Frame

Shutdown procedure when run as an application.

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

This method is called when the user closing the window.

writeFile() - Static method in class jdrew.oo.gui.BottomUpGUI

This method first prompts the user where they want to save the file and name the file.

writeFile() - Static method in class jdrew.oo.gui.Translator

This method first prompts what the user wants to write(Posl/RuleML) then the user selects where they want to save the file and name the file.

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

_

_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 _