public class ModalParser extends net.sf.tweety.commons.Parser<ModalBeliefSet>
| Constructor and Description |
|---|
ModalParser() |
| Modifier and Type | Method and Description |
|---|---|
net.sf.tweety.logics.fol.syntax.FolSignature |
getSignature()
Returns the signature of this parser.
|
ModalBeliefSet |
parseBeliefBase(Reader reader) |
net.sf.tweety.commons.Formula |
parseFormula(Reader reader) |
void |
setSignature(net.sf.tweety.logics.fol.syntax.FolSignature signature)
Sets the signature for this parser.
|
public ModalBeliefSet parseBeliefBase(Reader reader) throws IOException, net.sf.tweety.commons.ParserException
parseBeliefBase in class net.sf.tweety.commons.Parser<ModalBeliefSet>IOExceptionnet.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<ModalBeliefSet>IOExceptionnet.sf.tweety.commons.ParserExceptionpublic void setSignature(net.sf.tweety.logics.fol.syntax.FolSignature signature)
signature - a fol signature.public net.sf.tweety.logics.fol.syntax.FolSignature getSignature()
Copyright © 2018. All rights reserved.