CnfParser

java.lang.Object
- net.sf.tweety.commons.Parser<DungTheory,Formula>
- - net.sf.tweety.arg.dung.parser.AbstractDungParser
  - - net.sf.tweety.arg.dung.parser.CnfParser

```
public class CnfParser
extends AbstractDungParser
```
Parses abstract argumentation frameworks in the CNF/Dimacs Format used for the SAT solver competition (see also http://people.sc.fsu.edu/~jburkardt/data/cnf/cnf.html). It is given by the following BNF (start symbol is S):

S ::== COMMENTS "\n" PROBLEM "\n" ATTACKS
COMMENTS ::== ("c" COMMENT "\n")*
PROBLEM ::== "p af " INT INT
ATTACKS ::== (INT " -" INT " 0\n")* where "COMMENT" represents any string, and INT is a positive natural number. Lines beginning with "c" are comment lines and are ignored by the parser. The line beginning with "p af" is the problem definition, it is followed by two positive integers where the first is the number of arguments and the second is the number of attacks in the given framework. After the problem definition there is one line for each attack. The first integer in these lines describe the attacker of the attack and the second the attacked (the attacked is also prefixed by a minus sign "-"). Each line of an attack ends with "0" and a line break.

Author:

Matthias Thimm

- Constructor Summary
  
  Constructors
  Constructor Description
  
  CnfParser()
- Method Summary
  
  Modifier and Type Method Description
  
  DungTheory parse(java.io.Reader reader)
  Parses the given file into an abstract argumentation framework
  - Methods inherited from class net.sf.tweety.arg.dung.parser.AbstractDungParser
    getParser, parseArgumentList, parseBeliefBase, parseBoolean, parseExtensionList, parseFormula, parseLabeling, parseLabelingList
  - Methods inherited from class net.sf.tweety.commons.Parser
    isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile
  - Methods inherited from class java.lang.Object
    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - CnfParser
```
public CnfParser()
```
- Method Detail
  - parse
```
public DungTheory parse(java.io.Reader reader)
                 throws java.io.IOException
```
    Description copied from class: AbstractDungParser
    
    Parses the given file into an abstract argumentation framework
    
    Specified by:
    
    parse in class AbstractDungParser
    
    Parameters:
    
    reader - some reader
    
    Returns:
    
    an abstract argumentation framework
    
    Throws:
    
    java.io.IOException - for all errors concerning file reading.