net.sf.tweety.logics.cl.parser

Class ClParser

java.lang.Object

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

net.sf.tweety.logics.cl.parser.ClParser

public class ClParser
extends net.sf.tweety.commons.Parser<ClBeliefSet>

This class implements a parser for conditional logic. The BNF for a conditional knowledge base is given by (starting symbol is KB)

KB ::== CONDITIONAL ( "\n" CONDITIONAL )*
CONDITIONAL ::== "(" FORMULA ")" | "(" FORMULA "|" FORMULA ")"

FORMULA is a propositional formula (@see net.sf.tweety.kr.l.parser.PlParser).

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
ClParser()

Method Summary

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

ClParser

public ClParser()

Method Detail

parseBeliefBase

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

Specified by:

parseBeliefBase in class net.sf.tweety.commons.Parser<ClBeliefSet>

Throws:

IOException

net.sf.tweety.commons.ParserException

parseFormula

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

Specified by:

parseFormula in class net.sf.tweety.commons.Parser<ClBeliefSet>

Throws:

IOException

net.sf.tweety.commons.ParserException