Class CnfWriter
java.lang.Object
org.tweetyproject.arg.dung.writer.AbstractDungWriter
org.tweetyproject.arg.dung.writer.CnfWriter
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
-
Method Summary
Modifier and TypeMethodDescriptionvoid
write
(DungTheory aaf, File f) Writes the given file into an abstract argumentation frameworkMethods inherited from class org.tweetyproject.arg.dung.writer.AbstractDungWriter
getWriter, writeArguments, writeLabeling
-
Constructor Details
-
CnfWriter
public CnfWriter()
-
-
Method Details
-
write
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:
IOException
- for all errors concerning file reading/writing.
-