Class SimplePlLogicParser
- java.lang.Object
-
- net.sf.tweety.commons.Parser<SimplePlLogicDeductiveKnowledgebase,SimplePlRule>
-
- net.sf.tweety.arg.deductive.parser.SimplePlLogicParser
-
public class SimplePlLogicParser extends net.sf.tweety.commons.Parser<SimplePlLogicDeductiveKnowledgebase,SimplePlRule>
- Author:
- Federico Cerutti (federico.cerutti@acm.org) Parses a simple logic knowledge base out of an input text. Each line contains either a literal or a simple rule of the form l1, ..., ln -> c
-
-
Constructor Summary
Constructors Constructor Description SimplePlLogicParser()
-
Method Summary
Modifier and Type Method Description SimplePlLogicDeductiveKnowledgebaseparseBeliefBase(Reader reader)Read an entire piece of text and send each line to the actual parserSimplePlRuleparseFormula(Reader reader)
-
-
-
Method Detail
-
parseBeliefBase
public SimplePlLogicDeductiveKnowledgebase parseBeliefBase(Reader reader) throws IOException, net.sf.tweety.commons.ParserException
Read an entire piece of text and send each line to the actual parser- Specified by:
parseBeliefBasein classnet.sf.tweety.commons.Parser<SimplePlLogicDeductiveKnowledgebase,SimplePlRule>- Parameters:
reader- a reader- Returns:
- the simple logic knowledge base read from the input
- Throws:
IOExceptionnet.sf.tweety.commons.ParserException
-
parseFormula
public SimplePlRule parseFormula(Reader reader) throws IOException, net.sf.tweety.commons.ParserException
- Specified by:
parseFormulain classnet.sf.tweety.commons.Parser<SimplePlLogicDeductiveKnowledgebase,SimplePlRule>- Throws:
IOExceptionnet.sf.tweety.commons.ParserException- See Also:
Parser.parseFormula(java.io.Reader)
-
-