Class TikzWriter

java.lang.Object
org.tweetyproject.arg.dung.writer.AbstractDungWriter
org.tweetyproject.arg.dung.writer.TikzWriter

public class TikzWriter extends AbstractDungWriter
Writer for exporting an argumentation framework into LaTeX-code via the argumentation package.
Author:
Lars Bengel
See Also:
  • "https://ctan.org/pkg/argumentation"
  • Constructor Details

    • TikzWriter

      public TikzWriter()
  • Method Details

    • write

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

      public String write(DungTheory aaf)
      Writes an argumentation framework into a LaTeX-code string. The AF is shaped in a square grid
      Parameters:
      aaf - an argumentation framework
      Returns:
      String with the LaTeX representation of the AF
    • write

      public String write(DungTheory aaf, int width, int height)
      Writes an argumentation framework into a LaTeX-code string. The AF is shaped in a grid with the given dimensions
      Parameters:
      aaf - an argumentation framework
      width - width of the AF-grid
      height - height of the AF-grid
      Returns:
      String with the LaTeX representation of the AF