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

H

hashCode() - Method in class ai.krr.AnonymousSymbol

This function returns the hash code of this Symbol.

hashCode() - Method in class ai.krr.BooleanSymbol

This function returns the hash code of this Symbol.

hashCode() - Method in class ai.krr.CharacterSymbol

This function returns the hash code of this Symbol.

hashCode() - Method in class ai.krr.fol.Atom

This function returns the hash code of this Atom.

hashCode() - Method in class ai.krr.fol.BinaryConnectedSentence

This function returns the hash code of this ConnectedSentence.

hashCode() - Method in class ai.krr.fol.Clause

This function returns the hash code of this Clause.

hashCode() - Method in class ai.krr.fol.ConnectedSentence

This function returns the hash code of this ConnectedSentence.

hashCode() - Method in class ai.krr.fol.Constant

This function returns the hash code of this Constant which is the hash code of the contained symbol.

hashCode() - Method in class ai.krr.fol.FunctionTerm

This function returns the hash code of this FunctionTerm.

hashCode() - Method in class ai.krr.fol.Literal

This function returns the cashed hash code of this Literal.

hashCode() - Method in class ai.krr.fol.NegatedSentence

This function returns the hash code of this NegatedSentence.

hashCode() - Method in class ai.krr.fol.QuantifiedSentence

This function returns the hash code of this QuantifiedSentence.

hashCode() - Method in class ai.krr.fol.TruthValue

This function returns the hash code of this TruthValue.

hashCode() - Method in class ai.krr.fol.Variable

The hashCode of a Variable is the unique index of this variable.

hashCode() - Method in class ai.krr.IntegerSymbol

This function returns the hash code of this Symbol.

hashCode() - Method in class ai.krr.NamedSymbol

This function computes a hash value for this symbol by combining the hashCode() of the name with the hashCode() of the NameSpace.

hashCode() - Method in class ai.krr.NameSpace

This function returns a hash value for this NameSpace.

hashCode() - Method in class ai.krr.propositions.Atom

This function returns the hash code of this Atom.

hashCode() - Method in class ai.krr.propositions.BinaryConnectedSentence

This function returns the hash code of this ConnectedSentence.

hashCode() - Method in class ai.krr.propositions.Clause

This function returns the hash code of this Clause.

hashCode() - Method in class ai.krr.propositions.ConnectedSentence

This function returns the hash code of this ConnectedSentence.

hashCode() - Method in class ai.krr.propositions.IntEncodedClause

This function returns the hash code of this Clause.

hashCode() - Method in class ai.krr.propositions.Interpretation

This function returns the hash code of the contained Map.

hashCode() - Method in class ai.krr.propositions.Literal

This function returns the hash code of this Literal.

hashCode() - Method in class ai.krr.propositions.NegatedSentence

This function returns the hash code of this NegatedSentence.

hashCode() - Method in class ai.krr.propositions.TruthValue

This function returns the hash code of this TruthValue.

hashCode() - Method in class ai.krr.RealNumberSymbol

This function returns the hash code of this Symbol.

hashCode() - Method in class ai.krr.StringSymbol

This function returns the hash code of this Symbol.

hasNext() - Method in class ai.krr.fol.Sentence.SubSentenceIterator

hasNext() - Method in class ai.krr.propositions.Interpretation.InterpretationIterator

This function tests whether there are more, different Interpretations to be enumerated.

HerbrandGenerator - Class in ai.krr.fol

HerbrandGenerator() - Constructor for class ai.krr.fol.HerbrandGenerator

HerbrandGenerator.HerbrandUniverse - Class in ai.krr.fol

HerbrandGenerator.HerbrandUniverse(Set<Clause>) - Constructor for class ai.krr.fol.HerbrandGenerator.HerbrandUniverse

HUL - Variable in class ai.krr.fol.HerbrandGenerator

hValue - Variable in class ai.krr.propositions.IntEncodedClause

a cached hash value for this Clause