public class ModalParser extends Parser<ModalBeliefSet>
Modifier and Type | Field and Description |
---|---|
(package private) FolParser |
folparser
First-order logic parser used for parsing sorts and type declaration.
|
Constructor and Description |
---|
ModalParser() |
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 modal formula from the stream.
|
FolSignature |
getSignature()
Returns the signature of this parser.
|
private RelationalFormula |
parseAtomic(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a fol formula.
|
ModalBeliefSet |
parseBeliefBase(java.io.Reader reader)
Parses the given reader into a belief base of the given type.
|
private RelationalFormula |
parseConjunction(java.util.List<java.lang.Object> l)
Parses a simple conjunction as a list of String tokens or formulas into a fol formula.
|
private RelationalFormula |
parseDisjunction(java.util.List<java.lang.Object> l)
Parses a disjunction as a list of String tokens or formulas into a fol formula.
|
private RelationalFormula |
parseEquivalence(java.util.List<java.lang.Object> l)
Parses an equivalence as a list of String tokens or formulas into a fol formula.
|
Formula |
parseFormula(java.io.Reader reader)
Parses the given reader into a formula of the given type.
|
private RelationalFormula |
parseImplication(java.util.List<java.lang.Object> l)
Parses an implication as a list of String tokens or formulas into a fol formula.
|
private RelationalFormula |
parseModalization(java.util.List<java.lang.Object> l)
Parses a formula containing at least one modal operator as a list of String tokens or formulas.
|
private RelationalFormula |
parseNegation(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a fol formula.
|
private RelationalFormula |
parseQuantification(java.util.List<java.lang.Object> l)
Parses a quantified formula as a list of String tokens or formulas.
|
private java.util.List<Term<?>> |
parseTermlist(java.util.List<java.lang.Object> l)
Parses a term list as a list of String tokens or terms into a list of terms.
|
void |
setSignature(FolSignature signature)
Sets the signature for this parser.
|
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile
FolParser folparser
public ModalBeliefSet parseBeliefBase(java.io.Reader reader) throws java.io.IOException, ParserException
Parser
parseBeliefBase
in class Parser<ModalBeliefSet>
reader
- a readerjava.io.IOException
ParserException
public Formula parseFormula(java.io.Reader reader) throws java.io.IOException, ParserException
Parser
parseFormula
in class Parser<ModalBeliefSet>
reader
- a readerjava.io.IOException
ParserException
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 java.util.List<Term<?>> parseTermlist(java.util.List<java.lang.Object> l)
l
- a list objects, either String tokens or objects of type List.ParserException
- if the list could not be parsed.private RelationalFormula parseQuantification(java.util.List<java.lang.Object> l) throws ParserException
l
- a list objects, either String tokens or objects of type FolFormula.ParserException
- if the list could not be parsed.private RelationalFormula parseModalization(java.util.List<java.lang.Object> l) throws ParserException
l
- a list objects, either String tokens or objects of type FolFormula.ParserException
- if the list could not be parsed.private RelationalFormula parseEquivalence(java.util.List<java.lang.Object> l)
l
- a list objects, either String tokens or objects of type FolFormula.ParserException
- if the list could not be parsed.private RelationalFormula parseImplication(java.util.List<java.lang.Object> l)
l
- a list objects, either String tokens or objects of type FolFormula.ParserException
- if the list could not be parsed.private RelationalFormula parseDisjunction(java.util.List<java.lang.Object> l)
l
- a list objects, either String tokens or objects of type FolFormula.ParserException
- if the list could not be parsed.private RelationalFormula parseConjunction(java.util.List<java.lang.Object> l) throws ParserException
l
- a list objects, either String tokens or objects of type FolFormula.ParserException
- if the list could not be parsed.private RelationalFormula parseNegation(java.util.List<java.lang.Object> l) throws ParserException
l
- a list objects, either String tokens or objects of type FolFormula.ParserException
- if the list could not be parsed.private RelationalFormula parseAtomic(java.util.List<java.lang.Object> l) throws ParserException
l
- a list objects, either String tokens or objects of type folFormula.ParserException
public void setSignature(FolSignature signature)
signature
- a fol signature.public FolSignature getSignature()