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

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.

isDirectSubClass(String, String) - Method in class jdrew.oo.util.QueryTypes

This method will determine if a class is a subClass of another class during Querying This method uses transitive closure and not direct subClass.

isDirectSuperClass(String, String) - Method in class jdrew.oo.util.QueryTypes

This method will determine is a class is a super class of another class during Querying

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

This method will determine if a class is a subClass of another class during Querying This method uses transitive closure and not direct subClass.

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

This method will determine is a class is a super class of another class during Querying This method uses transitive closure and not direct super Class.

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