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