Class CafCnfWriter

java.lang.Object

org.tweetyproject.arg.caf.writer.AbstractCafWriter

org.tweetyproject.arg.caf.writer.CafCnfWriter

public class CafCnfWriter
extends AbstractCafWriter

Writes an constrained argumentation framework into a file of the CNF format including the constraint. Note that the order of the arguments may change by using this writer.

Author:

Sandra Hoffmann

Constructor Summary

Constructors

Constructor	Description
CafCnfWriter()

Method Summary

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

Methods inherited from class org.tweetyproject.arg.caf.writer.AbstractCafWriter

getWriter

Methods inherited from class java.lang.Object

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

Constructor Details

CafCnfWriter

public CafCnfWriter()

Method Details

write

public void write(ConstrainedArgumentationFramework caf,
 File f)
           throws IOException

Description copied from class: AbstractCafWriter

Writes the given file into an abstract argumentation framework

Specified by:

write in class AbstractCafWriter

Parameters:

caf - an abstract argumentation framework

f - the file that will be overwritten.

Throws:

IOException - for all errors concerning file reading/writing.