Package net.sf.tweety.logics.rdl.parser

Class RdlParser

java.lang.Object

net.sf.tweety.commons.Parser<DefaultTheory,net.sf.tweety.commons.Formula>

net.sf.tweety.logics.rdl.parser.RdlParser

public class RdlParser
extends net.sf.tweety.commons.Parser<DefaultTheory,net.sf.tweety.commons.Formula>

This class implements a parser for default logic.

Author:

Nils Geilen

Constructor Summary

Constructors

Constructor	Description
RdlParser()

Method Summary

Modifier and Type	Method	Description
DefaultTheory	parseBeliefBase(Reader reader)
net.sf.tweety.commons.Formula	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

RdlParser

public RdlParser()

Method Detail

parseBeliefBase

public DefaultTheory parseBeliefBase(Reader reader)
                              throws IOException,
                                     net.sf.tweety.commons.ParserException

Specified by:

parseBeliefBase in class net.sf.tweety.commons.Parser<DefaultTheory,net.sf.tweety.commons.Formula>

Throws:

IOException

net.sf.tweety.commons.ParserException

parseFormula

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

Specified by:

parseFormula in class net.sf.tweety.commons.Parser<DefaultTheory,net.sf.tweety.commons.Formula>

Throws:

IOException

net.sf.tweety.commons.ParserException