net.sf.tweety.arg.deductive.parser

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 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 and Description
SimplePlLogicParser()

Method Summary

Modifier and Type	Method and Description
SimplePlLogicDeductiveKnowledgebase	parseBeliefBase(Reader reader) Read an entire piece of text and send each line to the actual parser
SimplePlRule	parseFormula(Reader reader)

Methods inherited from class net.sf.tweety.commons.Parser

isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SimplePlLogicParser

public SimplePlLogicParser()

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:

parseBeliefBase in class net.sf.tweety.commons.Parser<SimplePlLogicDeductiveKnowledgebase,SimplePlRule>

Returns:

the simple logic knowledge base read from the input

Throws:

IOException

net.sf.tweety.commons.ParserException

See Also:

parseFormula

parseFormula

public SimplePlRule parseFormula(Reader reader)
                          throws IOException,
                                 net.sf.tweety.commons.ParserException

Specified by:

parseFormula in class net.sf.tweety.commons.Parser<SimplePlLogicDeductiveKnowledgebase,SimplePlRule>

Throws:

IOException

net.sf.tweety.commons.ParserException

See Also:

Parser.parseFormula(java.io.Reader)