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

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