public class CnfWriter extends DungWriter
Constructor and Description |
---|
CnfWriter() |
Modifier and Type | Method and Description |
---|---|
void |
write(DungTheory aaf,
java.io.File f)
Writes the given file into an abstract argumentation framework
|
getWriter, writeArguments, writeLabeling
public void write(DungTheory aaf, java.io.File f) throws java.io.IOException
DungWriter
write
in class DungWriter
aaf
- an abstract argumentation frameworkf
- the file that will be overwritten.java.io.IOException
- for all errors concerning file reading/writing.