public class SimplePlLogicParser extends Parser<SimplePlLogicDeductiveKnowledgebase>
Modifier and Type | Field and Description |
---|---|
private Parser<? extends BeliefBase> |
formulaparser |
private java.lang.String |
symbolComma |
private java.lang.String |
symbolInf |
Constructor and Description |
---|
SimplePlLogicParser() |
Modifier and Type | Method and Description |
---|---|
SimplePlLogicDeductiveKnowledgebase |
parseBeliefBase(java.io.Reader reader)
Read an entire piece of text and send each line to the actual parser
|
Formula |
parseFormula(java.io.Reader reader)
Parses the given reader into a formula of the given type.
|
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile
private java.lang.String symbolInf
private java.lang.String symbolComma
private final Parser<? extends BeliefBase> formulaparser
public SimplePlLogicDeductiveKnowledgebase parseBeliefBase(java.io.Reader reader) throws java.io.IOException, ParserException
parseBeliefBase
in class Parser<SimplePlLogicDeductiveKnowledgebase>
reader
- a readerjava.io.IOException
ParserException
parseFormula
public Formula parseFormula(java.io.Reader reader) throws java.io.IOException, ParserException
Parser
parseFormula
in class Parser<SimplePlLogicDeductiveKnowledgebase>
reader
- a readerjava.io.IOException
ParserException
Parser.parseFormula(java.io.Reader)