CnfWriter (Tweety (Dung Argumentation Library) 1.17 API)

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, 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
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - CnfWriter
```
public CnfWriter()
```
- Method Detail
  - write
```
public void write(DungTheory aaf,
                  File f)
           throws IOException
```
    Description copied from class: AbstractDungWriter
    
    Writes the given file into an abstract argumentation framework
    
    Specified by:
    
    write in class AbstractDungWriter
    
    Parameters:
    
    aaf - an abstract argumentation framework
    
    f - the file that will be overwritten.
    
    Throws:
    
    IOException - for all errors concerning file reading/writing.