Class 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