T
- is the type of the language that the ABA theory ranges overpublic class ABAParser<T extends Formula> extends Parser<ABATheory<T>>
Modifier and Type | Field and Description |
---|---|
private Parser<? extends BeliefBase> |
formulaparser
Used to parse formulae
|
private java.lang.String |
symbolArrow
Symbols used for parsing rules
|
private java.lang.String |
symbolComma
Symbols used for parsing rules
|
private java.lang.String |
symbolTrue
Symbols used for parsing rules
|
Constructor and Description |
---|
ABAParser(Parser<? extends BeliefBase> formulaparser)
Create a new ABA parser
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getSymbolArrow() |
java.lang.String |
getSymbolComma() |
java.lang.String |
getSymbolTrue() |
ABATheory<T> |
parseBeliefBase(java.io.Reader reader)
Parses the given reader into a belief base of the given type.
|
Formula |
parseFormula(java.io.Reader reader)
Parses the given reader into a formula of the given type.
|
void |
setSymbolArrow(java.lang.String symbolArrow) |
void |
setSymbolComma(java.lang.String symbolComma) |
void |
setSymbolTrue(java.lang.String symbolTrue) |
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile
private final Parser<? extends BeliefBase> formulaparser
private java.lang.String symbolTrue
private java.lang.String symbolArrow
private java.lang.String symbolComma
public ABAParser(Parser<? extends BeliefBase> formulaparser)
formulaparser
- parses formulae of the languagepublic ABATheory<T> parseBeliefBase(java.io.Reader reader) throws java.io.IOException, ParserException
Parser
parseBeliefBase
in class Parser<ABATheory<T extends Formula>>
reader
- a readerjava.io.IOException
ParserException
public Formula parseFormula(java.io.Reader reader) throws java.io.IOException, ParserException
Parser
parseFormula
in class Parser<ABATheory<T extends Formula>>
reader
- a readerjava.io.IOException
ParserException
public java.lang.String getSymbolTrue()
public void setSymbolTrue(java.lang.String symbolTrue)
symbolTrue
- the symbolTrue to setpublic java.lang.String getSymbolArrow()
public void setSymbolArrow(java.lang.String symbolArrow)
symbolArrow
- the symbolArrow to setpublic java.lang.String getSymbolComma()
public void setSymbolComma(java.lang.String symbolComma)
symbolComma
- the symbolComma to set