Class AbstractDungWriter

java.lang.Object
org.tweetyproject.arg.dung.writer.AbstractDungWriter
Direct Known Subclasses:
ApxWriter, CnfWriter, Iccma23Writer, TgfWriter

public abstract class AbstractDungWriter extends Object
Writes an abstract argumentation framework into a file of a specific format.
Author:
Matthias Thimm
  • Constructor Details

    • AbstractDungWriter

      public AbstractDungWriter()
  • Method Details

    • getWriter

      public static AbstractDungWriter getWriter(FileFormat f)
      Retrieves the writer for the given file format.
      Parameters:
      f - some file format
      Returns:
      a writer or null if the format is not supported.
    • writeArguments

      public static String writeArguments(Collection<Argument> args)
      Writes the given collection of arguments into a string of the form [arg1,...,argn].
      Parameters:
      args - some collection of arguments
      Returns:
      a string representation of the collection of arguments
    • writeLabeling

      public static String writeLabeling(Labeling l)
      Writes a labeling in the form [[IN1,...,INM],[OUT1,...,OUTN],[UNDEC1,...,UNDECM]]
      Parameters:
      l - some labeling
      Returns:
      a string representing the labeling.
    • write

      public abstract void write(DungTheory aaf, File f) throws IOException
      Writes the given file into an abstract argumentation framework
      Parameters:
      aaf - an abstract argumentation framework
      f - the file that will be overwritten.
      Throws:
      IOException - for all errors concerning file reading/writing.