| Methods in ai.krr.fol with parameters of type KifSentenceAdaptor.VariableStack |
protected static Atom |
KifSentenceAdaptor.parseAtom(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
KifSentenceAdaptor.VariableStack allVars)
|
protected static java.util.List<Sentence> |
KifSentenceAdaptor.parseConnectedSentences(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
KifSentenceAdaptor.VariableStack allVars)
This function attempts to parse a sequence of at least two Sentences from
the underlying LexicalAnalyzer. |
protected static FunctionTerm |
KifSentenceAdaptor.parseFunctionTerm(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
KifSentenceAdaptor.VariableStack allVars)
|
static Sentence |
KifSentenceAdaptor.parseSentence(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
KifSentenceAdaptor.VariableStack allVars)
This function attempts to parse a propositional Sentence in KIF syntax
from the underlying LexicalAnalyzer. |
static Term |
KifSentenceAdaptor.parseTerm(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
KifSentenceAdaptor.VariableStack allVars)
|
protected static Variable |
KifSentenceAdaptor.parseVariable(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
KifSentenceAdaptor.VariableStack allVars)
|
protected static java.util.LinkedList<Variable> |
KifSentenceAdaptor.parseVariables(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
KifSentenceAdaptor.VariableStack allVars)
|