public class PlParser extends Parser<PlBeliefSet>
Constructor and Description |
---|
PlParser() |
Modifier and Type | Method and Description |
---|---|
private void |
consumeToken(java.util.Stack<java.lang.Object> stack,
int c)
This method reads one token from the given reader and appropriately
constructs a propositional formula from the stream.
|
private PropositionalFormula |
parseAtomic(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
PlBeliefSet |
parseBeliefBase(java.io.Reader reader)
Parses the given reader into a belief base of the given type.
|
private PropositionalFormula |
parseConjunction(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
private PropositionalFormula |
parseDisjunction(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
PropositionalFormula |
parseFormula(java.io.Reader reader)
Parses the given reader into a formula of the given type.
|
private PropositionalFormula |
parseNegation(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile
public PlBeliefSet parseBeliefBase(java.io.Reader reader) throws ParserException
Parser
parseBeliefBase
in class Parser<PlBeliefSet>
reader
- a readerParserException
public PropositionalFormula parseFormula(java.io.Reader reader) throws ParserException
Parser
parseFormula
in class Parser<PlBeliefSet>
reader
- a readerParserException
private void consumeToken(java.util.Stack<java.lang.Object> stack, int c) throws ParserException
stack
- a stack used for monitoring the read items.c
- a token from a stream.ParserException
- in case of parser errors.private PropositionalFormula parseDisjunction(java.util.List<java.lang.Object> l) throws ParserException
l
- a list objects, either String tokens or objects of type PropositionalFormula.ParserException
- if the list could not be parsed.private PropositionalFormula parseConjunction(java.util.List<java.lang.Object> l) throws ParserException
l
- a list objects, either String tokens or objects of type PropositionalFormula.ParserException
- if the list could not be parsed.private PropositionalFormula parseNegation(java.util.List<java.lang.Object> l) throws ParserException
l
- a list objects, either String tokens or objects of type PropositionalFormula.ParserException
- if the list could not be parsed.private PropositionalFormula parseAtomic(java.util.List<java.lang.Object> l) throws ParserException
l
- a list objects, either String tokens or objects of type PropositionalFormula.ParserException