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

P

parent1 - Variable in class ai.krr.propositions.RTPSolverIE.DerivedClause

parent2 - Variable in class ai.krr.propositions.RTPSolverIE.DerivedClause

parseAtom(LexicalAnalyzer, Properties, KifSentenceAdaptor.VariableStack) - Static method in class ai.krr.fol.KifSentenceAdaptor

parseAtom(Element, Map<String, NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseAtom(Element, Map<String, NameSpace>) - Method in class ai.krr.propositions.XplSentenceAdaptor

parseCharacter(Element, Map<String, NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseClauseList(Reader, Properties) - Static method in class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

This function attempts to parse a propositional Sentence in KIF syntax from the underlying LexicalAnalyzer.

parseConnectedSentence(Element, Map<String, NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseConnectedSentence(Element, Map<String, NameSpace>) - Method in class ai.krr.propositions.XplSentenceAdaptor

parseConnectedSentences(LexicalAnalyzer, Properties, KifSentenceAdaptor.VariableStack) - Static method in class ai.krr.fol.KifSentenceAdaptor

This function attempts to parse a sequence of at least two Sentences from the underlying LexicalAnalyzer.

parseConstant(Element, Map<String, NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseConstantTerm(LexicalAnalyzer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor

parseFunctionTerm(LexicalAnalyzer, Properties, KifSentenceAdaptor.VariableStack) - Static method in class ai.krr.fol.KifSentenceAdaptor

parseFunctionTerm(Element, Map<String, NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseInteger(Element, Map<String, NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseKnowledgeBase(LexicalAnalyzer, Properties) - Static method in class ai.krr.fol.KifKnowledgeBaseAdaptor

parseLiteral(Element, Map<String, NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseLiteral(Element, Map<String, NameSpace>) - Method in class ai.krr.propositions.XplSentenceAdaptor

parseNamedSymbol(LexicalAnalyzer, Properties) - Static method in class ai.krr.KifSymbolAdaptor

This function attempts to parse a NamedSymbol from the underlying LexicalAnalyzer.

parseNamedSymbol(LexicalAnalyzer, Properties) - Static method in class ai.krr.LispSymbolAdaptor

This function attempts to parse a NamedSymbol from the underlying LexicalAnalyzer.

parseNegatedSentence(Element, Map<String, NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseNegatedSentence(Element, Map<String, NameSpace>) - Method in class ai.krr.propositions.XplSentenceAdaptor

parseNodeTree(Element) - Method in class ai.krr.fol.XfolSentenceAdaptor

This function takes a DOM Document and generates an internal representation of the statement in the representation R that represents the content of the given Document.

parseNodeTree(Element) - Method in class ai.krr.propositions.XplSentenceAdaptor

This function takes a DOM Document and generates an internal representation of the statement in the representation R that represents the content of the given Document.

parseQuantifiedSentence(Element, Map<String, NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseRealNumber(Element, Map<String, NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseSentence(LexicalAnalyzer, Properties, KifSentenceAdaptor.VariableStack) - Static method in class ai.krr.fol.KifSentenceAdaptor

This function attempts to parse a propositional Sentence in KIF syntax from the underlying LexicalAnalyzer.

parseSentence(Element, Map<String, NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseSentence(LexicalAnalyzer, Properties) - Static method in class ai.krr.propositions.KifSentenceAdaptor

This function attempts to parse a propositional Sentence in KIF syntax from the underlying LexicalAnalyzer.

parseSentence(Element, Map<String, NameSpace>) - Method in class ai.krr.propositions.XplSentenceAdaptor

parseSentences(LexicalAnalyzer, Properties) - Static method in class ai.krr.propositions.KifSentenceAdaptor

This function attempts to parse a sequence of at least two Sentences from the given LexicalAnalyzer.

parseString(Element, Map<String, NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseSymbol(LexicalAnalyzer, Properties) - Static method in class ai.krr.KifSymbolAdaptor

This function attempts to parse a Symbol from the underlying LexicalAnalyzer.

parseSymbol(LexicalAnalyzer, Properties) - Static method in class ai.krr.LispSymbolAdaptor

This function attempts to parse a Symbol from the underlying LexicalAnalyzer.

parseTerm(LexicalAnalyzer, Properties, KifSentenceAdaptor.VariableStack) - Static method in class ai.krr.fol.KifSentenceAdaptor

parseTerm(Element, Map<String, NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseTruthValue(Element) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseTruthValue(Element) - Method in class ai.krr.propositions.XplSentenceAdaptor

parseVariable(LexicalAnalyzer, Properties, KifSentenceAdaptor.VariableStack) - Static method in class ai.krr.fol.KifSentenceAdaptor

parseVariable(Element, Map<String, NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

parseVariables(LexicalAnalyzer, Properties, KifSentenceAdaptor.VariableStack) - Static method in class ai.krr.fol.KifSentenceAdaptor

pMap - Variable in class ai.krr.fol.Interpretation

the Map from constants to elements in the domain

posintTT - Static variable in class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

the token types used

prettyPrint(int, KnowledgeBase, Writer) - Method in class ai.krr.fol.KifKnowledgeBaseAdaptor

prettyPrint(int, Sentence, Writer) - Method in class ai.krr.fol.KifSentenceAdaptor

This function takes a logical Sentence which is a Java Object in the internal representation, and writes it to the given Writer as a string conforming to the KIF syntax.

prettyPrint(int, Writer, SyntaxAdaptor) - Method in class ai.krr.fol.KnowledgeBase

prettyPrint(int, Writer, SyntaxAdaptor) - Method in class ai.krr.fol.Sentence

This function can be used write this SyntaxAdaptable object to the given Writer.

prettyPrint(int, SyntaxAdaptableSymbol, Writer) - Method in class ai.krr.KifSymbolAdaptor

This function takes a logical Symbol which is a Java Object in the internal representation, and writes it to the given Writer as a string conforming to the LISP syntax.

prettyPrint(int, SyntaxAdaptableSymbol, Writer) - Method in class ai.krr.LispSymbolAdaptor

This function takes a logical Symbol which is a Java Object in the internal representation, and writes it to the given Writer as a string conforming to the LISP syntax.

prettyPrint(int, IntEncodedClause.IntEncodedClauseList, Writer) - Method in class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

This function takes an IntEncodedClauseList which is a Java Object in the internal representation, and writes it to the given Writer as a string conforming to the CNF syntax.

prettyPrint(int, Writer, SyntaxAdaptor) - Method in class ai.krr.propositions.IntEncodedClause.IntEncodedClauseList

prettyPrint(int, Sentence, Writer) - Method in class ai.krr.propositions.KifSentenceAdaptor

This function takes a logical Sentence which is a Java Object in the internal representation, and writes it to the given Writer as a string conforming to the KIF syntax.

prettyPrint(int, Writer, SyntaxAdaptor) - Method in class ai.krr.propositions.Sentence

This function can be used write this SyntaxAdaptable object to the given Writer.

prettyPrint(int, Writer, SyntaxAdaptor) - Method in class ai.krr.SyntaxAdaptableSymbol

This function can be used write this SyntaxAdaptable object to the given Writer.

prettyPrintAtom(int, Atom, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor

prettyPrintConnectedSentence(int, ConnectedSentence, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor

This function pretty-prints the given ConnectedSentence to the given Writer.

prettyPrintConnectedSentence(int, ConnectedSentence, Writer, Properties) - Static method in class ai.krr.propositions.KifSentenceAdaptor

This function pretty-prints the given ConnectedSentence to the given Writer.

prettyPrintFunctionTerm(int, FunctionTerm, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor

prettyPrintKnowledgeBase(int, KnowledgeBase, Writer, Properties) - Static method in class ai.krr.fol.KifKnowledgeBaseAdaptor

prettyPrintLiteral(int, Literal, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor

prettyPrintNegatedSentence(int, NegatedSentence, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor

This function pretty-prints the given NegatedSentence to the given Writer.

prettyPrintNegatedSentence(int, NegatedSentence, Writer, Properties) - Static method in class ai.krr.propositions.KifSentenceAdaptor

This function pretty-prints the given NegatedSentence to the given Writer.

prettyPrintQuantifiedSentence(int, QuantifiedSentence, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor

prettyPrintSentence(int, Sentence, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor

This function takes a logical Sentence which is a Java Object in the internal representation, and writes it to the given Writer as a string conforming to the KIF syntax.

prettyPrintSentence(int, Sentence, Writer, Properties) - Static method in class ai.krr.propositions.KifSentenceAdaptor

This function takes a logical Sentence which is a Java Object in the internal representation, and wrties it to the given Writer as a string conforming to the KIF syntax.

prettyPrintTerm(int, Term, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor

printTrace(String) - Method in class ai.krr.fol.HerbrandGenerator

This function must be called to print out tracing messages.

printTrace(String) - Method in class ai.krr.propositions.DPSolverIE

This function must be called to print out tracing messages.

printTrace(String) - Method in class ai.krr.propositions.RTPSolverIE

This function must be called to print out tracing messages.

props - Variable in class ai.krr.fol.KifKnowledgeBaseAdaptor

the properties used for reading and writing

props - Variable in class ai.krr.fol.KifSentenceAdaptor

the properties used for reading and writing

props - Variable in class ai.krr.KifSymbolAdaptor

the properties used for reading and writing

props - Variable in class ai.krr.LispSymbolAdaptor

the properties used for reading and writing

props - Variable in class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

the properties used for reading and writing

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

arrays of symbols and encodings (hashed) and decoding:

props - Variable in class ai.krr.propositions.KifSentenceAdaptor

the properties used for reading and writing

pTT - Static variable in class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

the token types used