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 Summary

Constructors

Constructor

Description

CnfWriter()
Method Summary

Modifier and Type

Method

Description

void

write(DungTheory aaf, File f)

Writes the given file into an abstract argumentation framework

Methods inherited from class org.tweetyproject.arg.dung.writer.AbstractDungWriter
getWriter, writeArguments, writeLabeling

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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.