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

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

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

Tree - Class in jdrew.oo.util

Title: OO jDREW

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

TreeNode - Class in jdrew.oo.util

Title: OO jDREW

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

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.