Uses of Class
ai.krr.fol.KnowledgeBase

Packages that use KnowledgeBase

ai.krr.fol

Uses of KnowledgeBase in ai.krr.fol

Methods in ai.krr.fol that return KnowledgeBase

static KnowledgeBase	KifKnowledgeBaseAdaptor.parseKnowledgeBase(inf.compilers.LexicalAnalyzer scanner, java.util.Properties props)
KnowledgeBase	KifKnowledgeBaseAdaptor.read(java.io.Reader r)
static KnowledgeBase	KnowledgeBase.read(java.io.Reader r, inf.compilers.SyntaxAdaptor<KnowledgeBase> sa)

Methods in ai.krr.fol that return types with arguments of type KnowledgeBase

java.lang.Class<KnowledgeBase>

KifKnowledgeBaseAdaptor.getInternalClass()

Methods in ai.krr.fol with parameters of type KnowledgeBase

void	KifKnowledgeBaseAdaptor.prettyPrint(int indent, KnowledgeBase kb, java.io.Writer w)
static void	KifKnowledgeBaseAdaptor.prettyPrintKnowledgeBase(int indent, KnowledgeBase kb, java.io.Writer w, java.util.Properties props)
void	KifKnowledgeBaseAdaptor.write(KnowledgeBase kb, java.io.Writer w)
static void	KifKnowledgeBaseAdaptor.writeKnowledgeBase(KnowledgeBase kb, java.io.Writer w, java.util.Properties props)

Method parameters in ai.krr.fol with type arguments of type KnowledgeBase

static KnowledgeBase

KnowledgeBase.read(java.io.Reader r, inf.compilers.SyntaxAdaptor<KnowledgeBase> sa)