public class RclParser extends Parser<RclBeliefSet>
Modifier and Type | Field and Description |
---|---|
private FolParser |
folParser
For parsing FOL fragments.
|
Constructor and Description |
---|
RclParser()
Creates a new RCL Parser
|
Modifier and Type | Method and Description |
---|---|
FolSignature |
getSignature()
Returns the signature of this parser.
|
RclBeliefSet |
parseBeliefBase(java.io.Reader reader)
Parses the given reader into a belief base of the given type.
|
RelationalConditional |
parseFormula(java.io.Reader reader)
Parses the given reader into a formula of the given type.
|
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile
private FolParser folParser
public RclBeliefSet parseBeliefBase(java.io.Reader reader) throws java.io.IOException, ParserException
Parser
parseBeliefBase
in class Parser<RclBeliefSet>
reader
- a readerjava.io.IOException
ParserException
public RelationalConditional parseFormula(java.io.Reader reader) throws java.io.IOException, ParserException
Parser
parseFormula
in class Parser<RclBeliefSet>
reader
- a readerjava.io.IOException
ParserException
public FolSignature getSignature()