net.sf.tweety.logics.pl.parser

Class PlParser

java.lang.Object

net.sf.tweety.commons.Parser<PlBeliefSet,PropositionalFormula>

net.sf.tweety.logics.pl.parser.PlParser

public class PlParser
extends net.sf.tweety.commons.Parser<PlBeliefSet,PropositionalFormula>

This class implements a parser for propositional logic. The BNF for a propositional belief set is given by (starting symbol is FORMULASET)

FORMULASET ::== FORMULA ( "\n" FORMULA )*
FORMULA ::== PROPOSITION | "(" FORMULA ")" | FORMULA "&&" FORMULA | FORMULA "||" FORMULA | "!" FORMULA | "+" | "-"

PROPOSITION is a sequence of characters excluding |,&,!,(,) and whitespace characters.

Author:

Matthias Thimm, Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
PlParser()

Method Summary

Modifier and Type	Method and Description
PlBeliefSet	parseBeliefBase(Reader reader)
PropositionalFormula	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

PlParser

public PlParser()

Method Detail

parseBeliefBase

public PlBeliefSet parseBeliefBase(Reader reader)
                            throws net.sf.tweety.commons.ParserException

Specified by:

parseBeliefBase in class net.sf.tweety.commons.Parser<PlBeliefSet,PropositionalFormula>

Throws:

net.sf.tweety.commons.ParserException

parseFormula

public PropositionalFormula parseFormula(Reader reader)
                                  throws net.sf.tweety.commons.ParserException

Specified by:

parseFormula in class net.sf.tweety.commons.Parser<PlBeliefSet,PropositionalFormula>

Throws:

net.sf.tweety.commons.ParserException