Package org.tweetyproject.arg.deductive.parser

Class SimplePlLogicParser

java.lang.Object

org.tweetyproject.commons.Parser<SimplePlLogicDeductiveKnowledgebase,SimplePlRule>

org.tweetyproject.arg.deductive.parser.SimplePlLogicParser

public class SimplePlLogicParser
extends Parser<SimplePlLogicDeductiveKnowledgebase,SimplePlRule>

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

Author:

Federico Cerutti (federico.cerutti@acm.org)

Constructor Summary

Constructors

Constructor	Description
SimplePlLogicParser()	Default Constructor

Method Summary

Modifier and Type	Method	Description
SimplePlLogicDeductiveKnowledgebase	parseBeliefBase(Reader reader)	Read an entire piece of text and send each line to the actual parser
SimplePlRule	parseFormula(Reader reader)	Parses the given reader into a formula of the given type.

Methods inherited from class org.tweetyproject.commons.Parser

isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile, parseListOfBeliefBases, parseListOfBeliefBases, parseListOfBeliefBasesFromFile, parseListOfBeliefBasesFromFile

Methods inherited from class java.lang.Object

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

Constructor Details

SimplePlLogicParser

public SimplePlLogicParser()

Default Constructor

Method Details

parseBeliefBase

public SimplePlLogicDeductiveKnowledgebase parseBeliefBase(Reader reader)
                                                    throws IOException,
ParserException

Read an entire piece of text and send each line to the actual parser

Specified by:

parseBeliefBase in class Parser<SimplePlLogicDeductiveKnowledgebase,SimplePlRule>

Parameters:

reader - a reader

Returns:

the simple logic knowledge base read from the input

Throws:

IOException - if some IO issue occurred.

ParserException - some parsing exceptions may be added here.

parseFormula

public SimplePlRule parseFormula(Reader reader)
                          throws IOException,
ParserException

Description copied from class: Parser

Parses the given reader into a formula of the given type.

Specified by:

parseFormula in class Parser<SimplePlLogicDeductiveKnowledgebase,SimplePlRule>

Parameters:

reader - a reader

Returns:

a formula

Throws:

IOException - if some IO issue occurred.

ParserException - some parsing exceptions may be added here.

See Also:

• Parser.parseFormula(java.io.Reader)