public class ClParser extends Parser<ClBeliefSet>
Constructor and Description |
---|
ClParser() |
Modifier and Type | Method and Description |
---|---|
ClBeliefSet |
parseBeliefBase(java.io.Reader reader)
Parses the given reader into a belief base of the given type.
|
Conditional |
parseFormula(java.io.Reader reader)
Parses the given reader into a formula of the given type.
|
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile
public ClBeliefSet parseBeliefBase(java.io.Reader reader) throws java.io.IOException, ParserException
Parser
parseBeliefBase
in class Parser<ClBeliefSet>
reader
- a readerjava.io.IOException
ParserException
public Conditional parseFormula(java.io.Reader reader) throws java.io.IOException, ParserException
Parser
parseFormula
in class Parser<ClBeliefSet>
reader
- a readerjava.io.IOException
ParserException