Package org.tweetyproject.arg.dung.parser

Class ApxParser

java.lang.Object
org.tweetyproject.commons.Parser<DungTheory,Formula>
org.tweetyproject.arg.dung.parser.AbstractDungParser
org.tweetyproject.arg.dung.parser.ApxParser
public class ApxParser extends AbstractDungParser
Parses abstract argumentation frameworks in the logic programming format which is given by the following BNF (start symbol is S):

S ::== "" | "arg" "(" ARGUMENT ")" "\n" S | "att" "(" ARGUMENT "," ARGUMENT ")" "\n" S
where "ARGUMENT" represents any string (without blanks) as a terminal symbol.
Author:
Matthias Thimm

  • Constructor Details

    • ApxParser

      public ApxParser()

  • Method Details

    • parse

      public DungTheory parse(Reader reader) throws IOException
      Description copied from class: AbstractDungParser
      Parses the given file into an abstract argumentation framework
      Specified by:
      parse in class AbstractDungParser
      Parameters:
      reader - some reader
      Returns:
      an abstract argumentation framework
      Throws:
      IOException - for all errors concerning file reading.

    • parseIgnoreComments

      public DungTheory parseIgnoreComments(Reader reader, boolean printCommands) throws IOException
      *description missing*
      Parameters:
      reader - *description missing*
      printCommands - *description missing*
      Returns:
      *description missing*
      Throws:
      IOException - *description missing*