public class CParser extends Parser<CActionDescription>
Modifier and Type | Field and Description |
---|---|
protected ActionSignature |
signature |
Constructor and Description |
---|
CParser() |
Modifier and Type | Method and Description |
---|---|
ActionSignature |
getSignature() |
CActionDescription |
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.
|
Formula |
parseFormula(java.lang.String formula)
Parses the given text into a formula of the given type.
|
void |
setSignature(ActionSignature signature) |
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormulaFromFile
protected ActionSignature signature
public CActionDescription parseBeliefBase(java.io.Reader reader) throws java.io.IOException, ParserException
Parser
parseBeliefBase
in class Parser<CActionDescription>
reader
- a readerjava.io.IOException
ParserException
public Formula parseFormula(java.io.Reader reader) throws java.io.IOException, ParserException
Parser
parseFormula
in class Parser<CActionDescription>
reader
- a readerjava.io.IOException
ParserException
public Formula parseFormula(java.lang.String formula) throws ParserException, java.io.IOException
Parser
parseFormula
in class Parser<CActionDescription>
formula
- a stringParserException
java.io.IOException
public void setSignature(ActionSignature signature)
public ActionSignature getSignature()