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

R

read(Reader) - Method in class ai.krr.fol.KifKnowledgeBaseAdaptor

read(Reader) - Method in class ai.krr.fol.KifSentenceAdaptor

This function attempts to parse characters from the given Reader until a Sentence that represents an object in the internal representation has been parsed.

read(Reader, SyntaxAdaptor<KnowledgeBase>) - Static method in class ai.krr.fol.KnowledgeBase

read(Reader, SyntaxAdaptor<Sentence>) - Static method in class ai.krr.fol.Sentence

read(Reader) - Method in class ai.krr.KifSymbolAdaptor

This function attempts to parse characters from the given Reader until a Symbol that represents an object in the internal representation has been parsed.

read(Reader) - Method in class ai.krr.LispSymbolAdaptor

This function attempts to parse characters from the given Reader until a Symbol that represents an object in the internal representation has been parsed.

read(Reader) - Method in class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

This function attempts to parse characters from the given Reader until an IntEncodedClauseList that represents an object in the internal representation has been parsed.

read(Reader, SyntaxAdaptor<IntEncodedClause.IntEncodedClauseList>) - Static method in class ai.krr.propositions.IntEncodedClause.IntEncodedClauseList

read(Reader) - Method in class ai.krr.propositions.KifSentenceAdaptor

This function attempts to parse characters from the given Reader until a Sentence that represents an object in the internal representation has been parsed.

read(Reader, SyntaxAdaptor<Sentence>) - Static method in class ai.krr.propositions.Sentence

read(Reader, SyntaxAdaptor<SyntaxAdaptableSymbol>) - Static method in class ai.krr.SyntaxAdaptableSymbol

This function can be used to read a Symbol from the given Reader.

RealNumberSymbol - Class in ai.krr

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

RealNumberSymbol(double) - Constructor for class ai.krr.RealNumberSymbol

This constructor creates a new RealNumberSymbol with the given value.

realnumTT - Static variable in class ai.krr.KifSymbolAdaptor

token types used

realnumTT - Static variable in class ai.krr.LispSymbolAdaptor

the token types used

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

remove(Literal) - Method in class ai.krr.propositions.Clause

This function returns a Clause in which the given Literal has been removed.

remove(int) - Method in class ai.krr.propositions.IntEncodedClause

This function returns a shallow copy of this Clause in which the given Literal has been removed.

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

removeAll(Set<Literal>) - Method in class ai.krr.propositions.Clause

This function returns a Clause in which the given Literals have been removed.

removeComplements(IntEncodedClause) - Method in class ai.krr.propositions.IntEncodedClause.LiteralSet

removeLocals(int) - Method in class ai.krr.fol.KifSentenceAdaptor.VariableStack

reservedSet - Static variable in class ai.krr.KifSymbolAdaptor

reservedSet - Static variable in class ai.krr.LispSymbolAdaptor

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

This function deletes the given Sentence from this KnowledgeBase.

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

the token types used

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

the token types used

RTPSolverIE - Class in ai.krr.propositions

RTPSolverIE() - Constructor for class ai.krr.propositions.RTPSolverIE

This constructor creates a new TheoremProver that uses the resolution rule to find a refutation for a set of propositional Clauses.

RTPSolverIE.DerivedClause - Class in ai.krr.propositions

RTPSolverIE.DerivedClause(IntEncodedClause, IntEncodedClause, IntEncodedClause) - Constructor for class ai.krr.propositions.RTPSolverIE.DerivedClause