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

W

wordTT - Static variable in class ai.krr.KifSymbolAdaptor
token types used
wordTT - Static variable in class ai.krr.LispSymbolAdaptor
the token types used
write(KnowledgeBase, Writer) - Method in class ai.krr.fol.KifKnowledgeBaseAdaptor
 
write(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.
write(Writer, SyntaxAdaptor) - Method in class ai.krr.fol.KnowledgeBase
 
write(Writer, SyntaxAdaptor) - Method in class ai.krr.fol.Sentence
This function can be used write this logical Sentence to the given Writer.
write(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.
write(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.
write(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.
write(Writer, SyntaxAdaptor) - Method in class ai.krr.propositions.IntEncodedClause.IntEncodedClauseList
 
write(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.
write(Writer, SyntaxAdaptor) - Method in class ai.krr.propositions.Sentence
This function can be used write this logical Sentence to the given Writer.
write(Writer, SyntaxAdaptor) - Method in class ai.krr.SyntaxAdaptableSymbol
This function can be used write this logical Symbol to the given Writer.
writeAtom(Atom, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor
This function writes the given Atom to the given Writer.
writeAtom(Atom, Writer, Properties) - Static method in class ai.krr.propositions.KifSentenceAdaptor
This function writes the given Atom to the given Writer.
writeClauseList(IntEncodedClause.IntEncodedClauseList, Writer, Properties) - Static 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.
writeConnectedSentence(ConnectedSentence, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor
This function writes the given ConnectedSentence to the given Writer.
writeConnectedSentence(ConnectedSentence, Writer, Properties) - Static method in class ai.krr.propositions.KifSentenceAdaptor
This function writes the given ConnectedSentence to the given Writer.
writeConstantTerm(Constant, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor
 
writeFunctionTerm(FunctionTerm, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor
 
writeIndent(int, String, Writer) - Static method in class ai.krr.KifSymbolAdaptor
This function writes white space for indentation of a line to the given Writer.
writeIndent(int, String, Writer) - Static method in class ai.krr.LispSymbolAdaptor
This function writes white space for indentation of a line to the given Writer.
writeKnowledgeBase(KnowledgeBase, Writer, Properties) - Static method in class ai.krr.fol.KifKnowledgeBaseAdaptor
writeLiteral(Literal, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor
This function writes the given Literal to the given Writer.
writeLiteral(Literal, Writer, Properties) - Static method in class ai.krr.propositions.KifSentenceAdaptor
This function writes the given Literal to the given Writer.
writeNamedSymbol(NamedSymbol, Writer, Properties) - Static method in class ai.krr.KifSymbolAdaptor
This function writes the given NamedSymbol to the given Writer.
writeNamedSymbol(NamedSymbol, Writer, Properties) - Static method in class ai.krr.LispSymbolAdaptor
This function writes the given NamedSymbol to the given Writer.
writeNegatedSentence(NegatedSentence, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor
This function writes the given NegatedSentence to the given Writer.
writeNegatedSentence(NegatedSentence, Writer, Properties) - Static method in class ai.krr.propositions.KifSentenceAdaptor
This function writes the given NegatedSentence to the given Writer.
writeQuantifiedSentence(QuantifiedSentence, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor
 
writeSentence(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.
writeSentence(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 writes it to the given Writer as a string conforming to the KIF syntax.
writeSymbol(Symbol, Writer, Properties) - Static method in class ai.krr.KifSymbolAdaptor
This function writes the given Symbol to the given Writer.
writeSymbol(Symbol, Writer, Properties) - Static method in class ai.krr.LispSymbolAdaptor
This function writes the given Symbol to the given Writer.
writeTerm(Term, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor
 
writeTruthValue(TruthValue, Writer) - Static method in class ai.krr.fol.KifSentenceAdaptor
This function writes the given TruthValue to the given Writer.
writeTruthValue(TruthValue, Writer, Properties) - Static method in class ai.krr.propositions.KifSentenceAdaptor
This function writes the given TruthValue to the given Writer.
writeVariable(Variable, Writer, Properties) - Static method in class ai.krr.fol.KifSentenceAdaptor
 

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