net.sf.tweety.arg.dung.writer

Class CnfWriter

java.lang.Object

net.sf.tweety.arg.dung.writer.DungWriter

net.sf.tweety.arg.dung.writer.CnfWriter

public class CnfWriter
extends DungWriter

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 and Description
CnfWriter()

Method Summary

Modifier and Type	Method and Description
void	write(DungTheory aaf, File f) Writes the given file into an abstract argumentation framework

Methods inherited from class net.sf.tweety.arg.dung.writer.DungWriter

getWriter, writeArguments, writeLabeling

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CnfWriter

public CnfWriter()

Method Detail

write

public void write(DungTheory aaf,
                  File f)
           throws IOException

Description copied from class: DungWriter

Writes the given file into an abstract argumentation framework

Specified by:

write in class DungWriter

Parameters:

aaf - an abstract argumentation framework

f - the file that will be overwritten.

Throws:

IOException - for all errors concerning file reading/writing.