Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
_
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
blah()
- Method in class jdrew.oo.td.
BackwardReasoner
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.
buildRDFObjects()
- Method in class jdrew.oo.util.
SubsumesParser
Iterating through all of the subsume objects to create RDF Objects RDF objects contain the the parent class and all of its sub classes.
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.
buildSubsumeObjects()
- Method in class jdrew.oo.util.
SubsumesParser
This method will parse through all the given subsumes relations and create objects for them.
buildTypes()
- Method in class jdrew.oo.util.
SubsumesParser
This method will create the RDFS Types.
Builtin
- Interface in
jdrew.oo.builtins
This class creates the Interface for a builtin relation.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
_