Class CnfWriter

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

public class CnfWriter extends AbstractDungWriter
Writes an abstract argumentation framework into a file of the CNF format. Note that the order of the arguments may change by using this writer.
Author:
Matthias Thimm
  • Constructor Details

    • CnfWriter

      public CnfWriter()
  • 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.