QdimacsWriter (Tweety (Quantified Boolean Formulas) 1.17 API)

java.lang.Object
- net.sf.tweety.logics.qbf.writer.QdimacsWriter

```
public class QdimacsWriter
extends Object
```
Converts belief bases to QDIMACS format and prints them.

Notes:
- Currently only works for belief bases that have only quantifiers in the left portion of each formula and have only unquantified formulas in the right portion of each formula.
- The right portion of the formulas does not need to be in any special form (it will be converted to cnf).

Author:

Anna Gessler

Field Summary

Fields
Modifier and Type	Field	Description
`boolean`	`DISABLE_PREAMBLE_ZERO`	Removes zero at the end of the problem line (workaround for some solvers).
`Boolean`	`special_formula_flag`	Will be set to true/false if the input can be simplified to a tautology/contradiction.

Constructor Summary

Constructors
Constructor Description

QdimacsWriter()
Creates a new QDIMACS writer.

QdimacsWriter(Writer writer)
Creates a new QDIMACS writer.

Method Summary

Modifier and Type	Method	Description
`void`	`close()`
`String`	`printBase(net.sf.tweety.logics.pl.syntax.PlBeliefSet kb)`
`String`	`printVariables(Set<net.sf.tweety.logics.pl.syntax.Proposition> vars, List<net.sf.tweety.logics.pl.syntax.Proposition> mappings)`

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

- Field Detail
  - DISABLE_PREAMBLE_ZERO
```
public boolean DISABLE_PREAMBLE_ZERO
```
    Removes zero at the end of the problem line (workaround for some solvers).
  - special_formula_flag
```
public Boolean special_formula_flag
```
    Will be set to true/false if the input can be simplified to a tautology/contradiction. Used in some of the solver wrappers to immediately return true/false instead of calling the solver in case of a tautology/contradiction.
- Constructor Detail
  - QdimacsWriter
```
public QdimacsWriter(Writer writer)
```
    Creates a new QDIMACS writer.
    
    Parameters:
    
    writer -
  - QdimacsWriter
```
public QdimacsWriter()
```
    Creates a new QDIMACS writer.
- Method Detail
  - printBase
```
public String printBase(net.sf.tweety.logics.pl.syntax.PlBeliefSet kb)
                 throws IOException
```
    Throws:
    
    IOException
  - printVariables
```
public String printVariables(Set<net.sf.tweety.logics.pl.syntax.Proposition> vars,
                             List<net.sf.tweety.logics.pl.syntax.Proposition> mappings)
```
  - close
```
public void close()
           throws IOException
```
    Throws:
    
    IOException