net.sf.tweety.arg.simplelogicdeductive.parser

Class SimplePlLogicParser

java.lang.Object

net.sf.tweety.commons.Parser<SimplePlLogicDeductiveKnowledgebase>

net.sf.tweety.arg.simplelogicdeductive.parser.SimplePlLogicParser

public class SimplePlLogicParser
extends Parser<SimplePlLogicDeductiveKnowledgebase>

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

Field Summary

Fields

Modifier and Type	Field and Description
private Parser<? extends BeliefBase>	formulaparser
private java.lang.String	symbolComma
private java.lang.String	symbolInf

Constructor Summary

Constructors

Constructor and Description
SimplePlLogicParser()

Method Summary

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

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

Field Detail

symbolInf

private java.lang.String symbolInf

symbolComma

private java.lang.String symbolComma

formulaparser

private final Parser<? extends BeliefBase> formulaparser

Constructor Detail

SimplePlLogicParser

public SimplePlLogicParser()

Method Detail

parseBeliefBase

public SimplePlLogicDeductiveKnowledgebase parseBeliefBase(java.io.Reader reader)
                                                    throws java.io.IOException,
                                                           ParserException

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

Specified by:

parseBeliefBase in class Parser<SimplePlLogicDeductiveKnowledgebase>

Parameters:

reader - a reader

Returns:

the simple logic knowledge base read from the input

Throws:

java.io.IOException

ParserException

See Also:

parseFormula

parseFormula

public Formula parseFormula(java.io.Reader reader)
                     throws java.io.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>

Parameters:

reader - a reader

Returns:

a formula

Throws:

java.io.IOException

ParserException

See Also:

Parser.parseFormula(java.io.Reader)