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