public class CLawParser extends net.sf.tweety.commons.Parser<CActionDescription>
| Modifier and Type | Field and Description |
|---|---|
protected ActionSignature |
signature |
| Constructor and Description |
|---|
CLawParser(ActionSignature signature)
This parser needs a valid action signature to parse causal laws.
|
| Modifier and Type | Method and Description |
|---|---|
protected Set<String> |
containedKeywords(String s)
Returns the set of forbidden keywords, that are contained in a string.
|
CActionDescription |
parseBeliefBase(Reader reader) |
protected net.sf.tweety.logics.fol.syntax.FolFormula |
parseFolFormula(String s)
Parses a FolFormula from a string using the FolParser class
|
net.sf.tweety.commons.Formula |
parseFormula(Reader reader) |
net.sf.tweety.commons.Formula |
parseFormula(String s) |
protected ActionSignature signature
public CLawParser(ActionSignature signature)
signature - public CActionDescription parseBeliefBase(Reader reader) throws net.sf.tweety.commons.ParserException
parseBeliefBase in class net.sf.tweety.commons.Parser<CActionDescription>net.sf.tweety.commons.ParserExceptionpublic net.sf.tweety.commons.Formula parseFormula(Reader reader) throws IOException, net.sf.tweety.commons.ParserException
parseFormula in class net.sf.tweety.commons.Parser<CActionDescription>IOExceptionnet.sf.tweety.commons.ParserExceptionprotected net.sf.tweety.logics.fol.syntax.FolFormula parseFolFormula(String s) throws net.sf.tweety.commons.ParserException, IOException
s - net.sf.tweety.commons.ParserExceptionIOExceptionpublic net.sf.tweety.commons.Formula parseFormula(String s) throws net.sf.tweety.commons.ParserException, IOException
parseFormula in class net.sf.tweety.commons.Parser<CActionDescription>net.sf.tweety.commons.ParserExceptionIOExceptionCopyright © 2018. All rights reserved.