DimacsParser (Tweety (Propositional Logic) 1.16 API)

java.lang.Object
- net.sf.tweety.commons.Parser<PlBeliefSet,PlFormula>
- - net.sf.tweety.logics.pl.parser.DimacsParser

public class DimacsParser
extends net.sf.tweety.commons.Parser<PlBeliefSet,PlFormula>

Parser a file in Dimacs format into a PlBeliefSet.

Author:: Matthias Thimm

Field Summary

Fields
Modifier and Type Field Description

protected Proposition[] prop_idx
An array representation of the propositions (for index mapping)

Constructor Summary

Constructors
Constructor Description

DimacsParser()

Method Summary

Modifier and Type	Method	Description
`PlBeliefSet`	`parseBeliefBase(Reader reader)`
`Disjunction`	`parseFormula(Reader reader)`
`void`	`setSignature(PlSignature sig)`	Sets the signature of this parser.

Methods inherited from class net.sf.tweety.commons.Parser
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - prop_idx
```
protected Proposition[] prop_idx
```
    An array representation of the propositions (for index mapping)
- Constructor Detail
  - DimacsParser
```
public DimacsParser()
```
- Method Detail
  - setSignature
```
public void setSignature(PlSignature sig)
```
    Sets the signature of this parser. Note that the natural order of the atoms in the signature (as returned by an iterator) is used for indexing variables in clauses.
    
    Parameters:
    
    sig - some signature
  - parseBeliefBase
```
public PlBeliefSet parseBeliefBase(Reader reader)
                            throws IOException,
                                   net.sf.tweety.commons.ParserException
```
    Specified by:
    
    parseBeliefBase in class net.sf.tweety.commons.Parser<PlBeliefSet,PlFormula>
    
    Throws:
    
    IOException
    
    net.sf.tweety.commons.ParserException
  - parseFormula
```
public Disjunction parseFormula(Reader reader)
                         throws IOException,
                                net.sf.tweety.commons.ParserException
```
    Specified by:
    
    parseFormula in class net.sf.tweety.commons.Parser<PlBeliefSet,PlFormula>
    
    Throws:
    
    IOException
    
    net.sf.tweety.commons.ParserException