Package net.sf.tweety.arg.dung.writer
Class CnfWriter
- java.lang.Object
-
- net.sf.tweety.arg.dung.writer.AbstractDungWriter
-
- net.sf.tweety.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, java.io.File f)
Writes the given file into an abstract argumentation framework-
Methods inherited from class net.sf.tweety.arg.dung.writer.AbstractDungWriter
getWriter, writeArguments, writeLabeling
-
-
-
-
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 classAbstractDungWriter
- Parameters:
aaf
- an abstract argumentation frameworkf
- the file that will be overwritten.- Throws:
java.io.IOException
- for all errors concerning file reading/writing.
-
-