Class 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 Summary

      Constructors 
      Constructor Description
      CnfWriter()  
    • Method Summary

      Modifier and Type Method Description
      void write​(DungTheory aaf, java.io.File f)
      Writes the given file into an abstract argumentation framework
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • CnfWriter

        public CnfWriter()
    • Method Detail

      • write

        public void write​(DungTheory aaf,
                          java.io.File f)
                   throws java.io.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:
        java.io.IOException - for all errors concerning file reading/writing.