Class ClParser

java.lang.Object
org.tweetyproject.commons.Parser<ClBeliefSet,Conditional>
org.tweetyproject.logics.cl.parser.ClParser

public class ClParser extends Parser<ClBeliefSet,Conditional>
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 org.tweetyproject.kr.l.parser.PlParser).
Author:
Matthias Thimm