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

N

NamedSymbol - Class in ai.krr

This class implements part of the foundations for symbolic programming in Java.

NamedSymbol(NameSpace, String) - Constructor for class ai.krr.NamedSymbol

This constructor creates a new NamedSymbol that has the given name and belongs to the given NameSpace.

NameSpace - Class in ai.krr

This class implements a table of Symbols that belong to this NameSpace.

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

This function can be used to change the sign of this Literal.

NegatedSentence - Class in ai.krr.fol

A NegatedSentence is the simplest kind of complex Sentence.

NegatedSentence(Sentence) - Constructor for class ai.krr.fol.NegatedSentence

This constructor for a NegatedSentence simply takes the Sentence that is negated.

NegatedSentence - Class in ai.krr.propositions

A NegatedSentence is the simplest kind of complex Sentence.

NegatedSentence(Sentence) - Constructor for class ai.krr.propositions.NegatedSentence

This constructor for a NegatedSentence simply takes the Sentence that is negated.

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

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

This function modifies the Interpretation maintained by this Iterator to the next one and returns it.

not(BooleanSymbol) - Static method in class ai.krr.BooleanSymbol

This function returns the negation of the given BooleanSymbol.

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

the token types used

notTT - Static variable in class ai.krr.propositions.KifSentenceAdaptor

the token types used

nrEncoded() - Method in class ai.krr.propositions.IntEncoding

This function returns the number of Symbols currently encoded.

NumericSymbol - Class in ai.krr

This class implements part of the foundations for symbolic programming in Java.

NumericSymbol() - Constructor for class ai.krr.NumericSymbol