Package org.tweetyproject.logics.translators.adfrevision

Class PlParserThreeValued

java.lang.Object

org.tweetyproject.commons.Parser<PlBeliefSet,PlFormula>

org.tweetyproject.logics.translators.adfrevision.PlParserThreeValued

public class PlParserThreeValued
extends Parser<PlBeliefSet,PlFormula>

Adapted from "PlParser" for the use of 3-valued logic (WeakNegation and Indecision-Operator):

Author:

Jonas Schumacher ORIGINAL DOCUMENTATION: 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 "=>" FORMULA | FORMULA "<=>" FORMULA | FORMULA "^^" FORMULA | "!" FORMULA | "+" | "-"

PROPOSITION is a sequence of characters excluding |,&,!,(,),=,<,> and whitespace characters., Matthias Thimm, Bastian Wolf

Constructor Summary

Constructors

Constructor	Description
PlParserThreeValued()

Method Summary

Modifier and Type	Method	Description
PlBeliefSet	parseBeliefBase(Reader reader)	Parses the given reader into a belief base of the given type.
PlFormula	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

PlParserThreeValued

public PlParserThreeValued()

Method Details

parseBeliefBase

public PlBeliefSet parseBeliefBase(Reader reader)
                            throws ParserException

Description copied from class: Parser

Parses the given reader into a belief base of the given type.

Specified by:

parseBeliefBase in class Parser<PlBeliefSet,PlFormula>

Parameters:

reader - a reader

Returns:

a belief base

Throws:

ParserException - some parsing exceptions may be added here.

parseFormula

public PlFormula parseFormula(Reader reader)
                       throws ParserException

Description copied from class: Parser

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

Specified by:

parseFormula in class Parser<PlBeliefSet,PlFormula>

Parameters:

reader - a reader

Returns:

a formula

Throws:

ParserException - some parsing exceptions may be added here.