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

E

encInts - Variable in class ai.krr.propositions.IntEncoding

encode(Literal) - Method in class ai.krr.propositions.IntEncoding

This function encodes the given Literal.

entails(Sentence) - Method in class ai.krr.fol.KnowledgeBase

This function tests whether the given Sentence holds in this KnowledgeBase.

equals(Object) - Method in class ai.krr.CharacterSymbol

This function tests whether this and the given Object are equal.

equals(Object) - Method in class ai.krr.fol.Atom

A Atom is only equal to another Atom.

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

A Atom is equal to any other Atom that consists of an equal predicate symbol followed by an equal number of equal Terms.

equals(ConnectedSentence) - Method in class ai.krr.fol.BinaryConnectedSentence

This function tests whether this and the given Object are equal.

equals(Object) - Method in class ai.krr.fol.Clause

This function tests whether this and the given Object are equal.

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

This function tests whether this and the given Clause are equal.

equals(Object) - Method in class ai.krr.fol.ConnectedSentence

This function tests whether this and the given Object are equal.

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

This function tests whether this and the given Object are equal.

equals(Object) - Method in class ai.krr.fol.Constant

A Constant can only be equal to any other Constant.

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

A Constant is equal to any other Constant that holds an equal Symbol.

equals(Object) - Method in class ai.krr.fol.FunctionTerm

A FunctionTerm is only equal to another FunctionTerm.

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

A FunctionTerm is equal to any other FunctionTerm that consists of an equal function symbol followed by an equal number of equal Terms.

equals(Object) - Method in class ai.krr.fol.Literal

A Literal is only equal to another Literal.

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

A Literal is equal to any other Literal that consists of an equal sign and predicate symbol followed by an equal number of equal Terms.

equals(Object) - Method in class ai.krr.fol.NegatedSentence

A NegatedSentence is equal to another NegatedSentence that contains an equal Sentence.

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

A NegatedSentence is equal to another NegatedSentence that contains an equal Sentence.

equals(Object) - Method in class ai.krr.fol.QuantifiedSentence

This function tests whether this and the given Object are equal.

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

This function tests whether this and the given Object are equal.

equals(Object) - Method in class ai.krr.NumericSymbol

This function tests whether this and the given Object are equal.

equals(Object) - Method in class ai.krr.propositions.Atom

An Atom is equal to another Atom that consists of an equal proposition symbol.

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

An Atom is equal to another Atom that consists of an equal proposition symbol.

equals(ConnectedSentence) - Method in class ai.krr.propositions.BinaryConnectedSentence

This function tests whether this and the given Object are equal.

equals(Object) - Method in class ai.krr.propositions.Clause

This function tests whether this and the given Object are equal.

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

This function tests whether this and the given Clause are equal.

equals(Object) - Method in class ai.krr.propositions.ConnectedSentence

This function tests whether this and the given Object are equal.

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

This function tests whether this and the given Object are equal.

equals(Object) - Method in class ai.krr.propositions.IntEncodedClause

This function tests whether this and the given Object are equal.

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

This function tests whether this and the given Clause are equal.

equals(Object) - Method in class ai.krr.propositions.Interpretation

This function compares this Interpretation to the given Object.

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

This function compares this Interpretation to the given Interpretation.

equals(Object) - Method in class ai.krr.propositions.Literal

A Literal is equal to another Literal that consists of an equal sign and proposition symbol.

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

A Literal is equal to another Literal that consists of an equal sign and proposition symbol.

equals(Object) - Method in class ai.krr.propositions.NegatedSentence

A NegatedSentence is equal to another NegatedSentence that contains an equal Sentence.

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

A NegatedSentence is equal to another NegatedSentence that contains an equal Sentence.

equals(Object) - Method in class ai.krr.StringSymbol

This function tests whether this and the given object are equal.

equivalent(Sentence, Sentence) - Method in class ai.krr.fol.HerbrandGenerator

equivalent(Sentence, Sentence) - Method in interface ai.krr.fol.TheoremProver

This function tests whether the two given Sentences are equivalent.

equivalent(Sentence, Sentence) - Method in class ai.krr.propositions.DPSolverIE

This function tests whether the two given Sentences are equivalent.

equivalent(Sentence, Sentence) - Method in class ai.krr.propositions.InterpretationEnumerator

This function tests whether the two given Sentences are equivalent.

equivalent(Sentence, Sentence) - Method in class ai.krr.propositions.RTPSolverIE

This function tests whether the two given Sentences are equivalent.

equivalent(Sentence, Sentence) - Method in interface ai.krr.propositions.TheoremProver

This function tests whether the two given Sentences are equivalent.

escapeString(String) - Static method in class ai.krr.KifSymbolAdaptor

This function escapes certain characters in the given String by inserting a backslash ('\') just before them.

escapeString(String) - Static method in class ai.krr.LispSymbolAdaptor

This function escapes certain characters in the given String by inserting a backslash ('\') just before them.

evaluate(Interpretation, Substitution) - Method in class ai.krr.fol.Atom

This function evaluates this Sentence under the given Interpretation and Substitution for Variables.

evaluate(Interpretation, Substitution) - Method in class ai.krr.fol.BinaryConnectedSentence

This function evaluates this Sentence under the given Interpretation.

evaluate(Interpretation, Substitution) - Method in class ai.krr.fol.Clause

This function evaluates this Sentence under the given Interpretation.

evaluate(Interpretation, Substitution) - Method in class ai.krr.fol.ConnectedSentence

This function evaluates this Sentence under the given Interpretation and Substitution for Variables.

evaluate(Interpretation, Substitution) - Method in class ai.krr.fol.Constant

This function evaluates this Term under the given Interpretation and Substitution for Variables.

evaluate(Interpretation, Substitution) - Method in class ai.krr.fol.FunctionTerm

This function evaluates this Term under the given Interpretation and Substitution for Variables.

evaluate(Interpretation, Substitution) - Method in class ai.krr.fol.Literal

This function evaluates this Sentence under the given Interpretation and Substitution for Variables.

evaluate(Interpretation, Substitution) - Method in class ai.krr.fol.NegatedSentence

This function evaluates this Sentence under the given Interpretation and Substitution for Variables.

evaluate(Interpretation, Substitution) - Method in class ai.krr.fol.QuantifiedSentence

This function evaluates this Sentence under the given Interpretation and Substitution for Variables.

evaluate(Interpretation, Substitution) - Method in class ai.krr.fol.Sentence

This function evaluates this Sentence under the given Interpretation and Substitution for Variables.

evaluate(Interpretation, Substitution) - Method in class ai.krr.fol.Term

This function evaluates this Term under the given Interpretation and Substitution for Variables.

evaluate(Interpretation, Substitution) - Method in class ai.krr.fol.TruthValue

This function evaluates this Sentence under the given Interpretation and Substitution for Variables.

evaluate(Interpretation, Substitution) - Method in class ai.krr.fol.Variable

This function evaluates this Term under the given Interpretation and Substitution for Variables.

evaluate(Interpretation) - Method in class ai.krr.propositions.Atom

This function evaluates this Sentence under the given Interpretation.

evaluate(Interpretation) - Method in class ai.krr.propositions.BinaryConnectedSentence

This function evaluates this Sentence under the given Interpretation.

evaluate(Interpretation) - Method in class ai.krr.propositions.Clause

This function evaluates this Clause under the given Interpretation.

evaluate(Interpretation) - Method in class ai.krr.propositions.ConnectedSentence

This function evaluates this Sentence under the given Interpretation.

evaluate(Interpretation) - Method in class ai.krr.propositions.Literal

This function evaluates this Sentence under the given Interpretation.

evaluate(Interpretation) - Method in class ai.krr.propositions.NegatedSentence

This function evaluates this Sentence under the given Interpretation.

evaluate(Interpretation) - Method in class ai.krr.propositions.Sentence

This function evaluates this Sentence under the given Interpretation.

evaluate(Interpretation) - Method in class ai.krr.propositions.TruthValue

This function evaluates this Sentence under the given Interpretation.

examples - Static variable in class ai.krr.propositions.RTPSolverIE

exceedsDepth(int) - Method in class ai.krr.fol.Atom

This function tests whether this Sentence exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.fol.BinaryConnectedSentence

This function tests whether this Sentence exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.fol.ConnectedSentence

This function tests whether this Sentence exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.fol.Constant

This function tests whether this Term exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.fol.FunctionTerm

This function tests whether this Term exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.fol.Literal

This function tests whether this Sentence exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.fol.NegatedSentence

This function tests whether this Sentence exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.fol.QuantifiedSentence

This function tests whether this Sentence exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.fol.Sentence

This function tests whether this Sentence exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.fol.Term

This function tests whether this Term exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.fol.TruthValue

This function tests whether this Sentence exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.fol.Variable

This function tests whether this Term exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.propositions.BinaryConnectedSentence

This function tests whether this Sentence exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.propositions.ConnectedSentence

This function tests whether this Sentence exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.propositions.NegatedSentence

This function tests whether this Sentence exceeds the given depth which should be a non-negative integer.

exceedsDepth(int) - Method in class ai.krr.propositions.Sentence

This function tests whether this Sentence exceeds the given depth which should be a non-negative integer.

existsTT - Static variable in class ai.krr.fol.KifSentenceAdaptor

the token types used

expand() - Method in class ai.krr.fol.HerbrandGenerator.HerbrandUniverse