QdimacsWriter

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

```
public class QdimacsWriter
extends java.lang.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).
`java.lang.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(java.io.Writer writer)
Creates a new QDIMACS writer.

Method Summary

Modifier and Type	Method	Description
`void`	`close()`
`java.lang.String`	`printBase(PlBeliefSet kb)`
`java.lang.String`	`printVariables(java.util.Set<Proposition> vars, java.util.List<Proposition> mappings)`

Methods inherited from class java.lang.Object
equals, 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 java.lang.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(java.io.Writer writer)
```
    Creates a new QDIMACS writer.
    
    Parameters:
    
    writer -
  - QdimacsWriter
```
public QdimacsWriter()
```
    Creates a new QDIMACS writer.
- Method Detail
  - printBase
```
public java.lang.String printBase(PlBeliefSet kb)
                           throws java.io.IOException
```
    Throws:
    
    java.io.IOException
  - printVariables
```
public java.lang.String printVariables(java.util.Set<Proposition> vars,
                                       java.util.List<Proposition> mappings)
```
  - close
```
public void close()
           throws java.io.IOException
```
    Throws:
    
    java.io.IOException