Class 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 net.sf.tweety.kr.l.parser.PlParser).
    Author:
    Matthias Thimm
    • Constructor Detail

      • ClParser

        public ClParser()
    • Method Detail

      • parseBeliefBase

        public ClBeliefSet parseBeliefBase​(java.io.Reader reader)
                                    throws java.io.IOException,
                                           ParserException
        Description copied from class: Parser
        Parses the given reader into a belief base of the given type.
        Specified by:
        parseBeliefBase in class Parser<ClBeliefSet,​Conditional>
        Parameters:
        reader - a reader
        Returns:
        a belief base
        Throws:
        java.io.IOException - if some IO issue occurred.
        ParserException - some parsing exceptions may be added here.
      • parseFormula

        public Conditional parseFormula​(java.io.Reader reader)
                                 throws java.io.IOException,
                                        ParserException
        Description copied from class: Parser
        Parses the given reader into a formula of the given type.
        Specified by:
        parseFormula in class Parser<ClBeliefSet,​Conditional>
        Parameters:
        reader - a reader
        Returns:
        a formula
        Throws:
        java.io.IOException - if some IO issue occurred.
        ParserException - some parsing exceptions may be added here.